Useful Information

How to search academic papers

• Library genesis for searching LNCS conference papers

• https://kr1lib.org/

How to write academic papers

• KAIST 문수복 교수님 글

• How to write a great research paper by Simon Peyton Jones, Microsoft Research, Cambridge

• 성균관대학교 김형식 교수님 글(A structure of academic papers)

How to read a paper

• S. Keshav, University of Waterloo

• List of Outstanding Academic Conferences in CS Field

How to use Latex

• Math symbol

How to prepare a presentation

• KAIST 문수복 교수님 글

국민암호페스티벌

• 2018년도 국민암호페스티벌

• 2019년도 국민암호페스티벌

• 2023년도 국민암호페스티벌 

• 2024년도 국민암호페스티벌

전공관련 사이트(보안, 프로그래밍 등)

• Code-Breaking: 암호관련 퀴즈, 데이터 변환 등을 온라인으로 할 수 있는 사이트

• Hash generator:해시값, HMAC값 확인용

• Cryptool2

• ECC구현 결과 검증: 

• 삼성소프트웨어멤버쉽

암호모듈검증관련

• 엔트로피 잡음원 health test code

• NIST 800-90B entropy assessment code

암호라이브러리

• OpenSSL: C/ASM 언어기반으로서, crypto 구현 및 SSL/TLS 기능을 제공하는 대표적 암호라이브러리

• BouncyCastle: Java 언어기반으로서, crypto 구현 및 여러 보안 프로토콜 기능을 제공하는 대표적 암호라이브러리

• MIRACL: 타원곡선 및 페어링 암호에 특화된 라이브러리

• PBC Library: 스탠포드대학에서 만든 페어링 암호 라이브러리

• JPBC: Java기반 페어링 암호 라이브러리

• mbedTLS: RISC-V OS에 통합된 mbedTLS

• wasmCrypto: AssemblyScript를 이용한 web 암호라이브러리

• WASI Cryptography APIs: Cryptography API using WebAssembly [link1] [link2]

• AVRCrypto: AVR MCU 상에서 최적화된 암호구현 제공

코딩관련

GNU related

• GNU Toolchain

32-bit ARM related

• Cortex-M4 SIMD header

64-bit ARM related

• NEON programming guide

GPU related

Instruction Set Table

Post-Quantum Crypto Libraries

• PQClean: NIST PQC 공모에 제출된 암호알고리즘들에 대한 standalone 구현 제공

• Quantum Safe Project: OpenSSL 등 기본 암호 프로토콜에 integration 제공

• liboqs: NIST PQC 공모에 제출된 암호알고리즘들에 대한 Open Source C librar

• SIKE: Isogeny 기반 KEM 구현

• pqm4: Cortex-M4에서 PQC 암호에 대한 benchmarking 구현 제공

• pqriscv: RISC-V에서 PQC 암호에 대한 benchmarking 구현 제공(진행중)

• PQC on DNSSEC: rainbow, falcon, GEMSS에 대해서만 제공

• OpenABE: Attribute-based Encryption Library

Next-Generation Crypto LIbrary

• Attribute-based encryption

  • https://github.com/mariusgiger/iot-abe

  • https://github.com/jonilaitinen/libbswabe

  • https://github.com/zeutro/openabe

  • https://github.com/UCLA-IRL/NAC-ABE

• Homomorphic encryption

  • Intro blog including vedio resources

  • BFV scheme intro blog

  • CKKS scheme intro blog

  • HE standard

  • Microsoft Private AI Bootcamp

암호최적화

Crypto AVX Implementation

• AVX Crypto

• bitslicing concept

Constant Time Implementation

• bearSSL

Hash Function optimization

•  eXtended Keccak Code Package

ECC Implementations

• Curve25519

  • curve25519-donna

  • edu25519 using Radix25.5

  • High performance implementation of elliptic curve 25519

구현정확성 검증

• NIST CAVP testvector

Hardware Implementation

RISC-V

• SPIKE Simulator

• lowRISC

Online 코드 작성 사이트

• repl.it: Python, Java, C#, C++ 등의 언어로 브라우저 상에서 코딩 가능한 사이트

• GDB online: C, C++, Java, Python 등의 언어로 브라우저 상에서 코딩 가능한 사이트

Crypto Summer School Slides

Summer School on real-world crypto and privacy

• 2019

• 2018

• 2017

• 2016

• 2015

• 2014

Crypto School in Workshop on Elliptic Curve Cryptography 

• 2018

• 2017

• 2016

Crypto Github Pages (last updated 20220627)

Paper Title and related github page

• High-Throughput Elliptic Curve Cryptography Using AVX2 Vector Instructions (SAC2020), https://gitlab.uni.lu/APSIA/AVXECC

• Highly Vectorized SIKE for AVX-512 (TCHES 2022), https://gitlab.uni.lu/APSIA/AVXSIKE

• DPCrypto: Acceleration of Post-Quantum Cryptography Using Dot-Product Instructions on GPUs, https://github.com/benlwk/DPCrypto

• SHA3 with AVX2, AVX512, https://github.com/rbCabral/SHA-3

Formal Verification Methods (last updated 20250206)

• Coq Study

• Formal verification/analysis tools tutorials

• Easycrypt

• Lecture at Boston University (Formal methods in security and privacy)

  • https://github.com/alleystoughton/EasyTeach

• Crypto School 2023 (Easycrypt, Releational Verification)

• Crypto Summer School 2023 (Cryptoverif)

• SAC 2021 Crypto School (Easycrypt and Jasmin)

• Easycrypt Installation

• The last mile: high-assurance and high-speed cryptographic implementations (IEEE S&P 2020)

• Proofs in Cryptography

• Formosa Projects (Machine-checked cryptography and high-assurance cryptographic engineering)

  • Formosa-Crypto-artifacts

• An Introduction to Tools for Verified Cryptography (Indocrypt 2020)

• The Calculus of Computation: Decision Procedures with Applications to Verification

• The Joy of Easycrypt

• Dafny