Useful Information
How to search academic papers
https://kr1lib.org/
How to write academic papers
How to read a paper
How to use Latex
How to prepare a presentation
국민암호페스티벌
전공관련 사이트(보안, 프로그래밍 등)
암호모듈검증관련
암호라이브러리
OpenSSL: C/ASM 언어기반으로서, crypto 구현 및 SSL/TLS 기능을 제공하는 대표적 암호라이브러리
BouncyCastle: Java 언어기반으로서, crypto 구현 및 여러 보안 프로토콜 기능을 제공하는 대표적 암호라이브러리
WASI Cryptography APIs: Cryptography API using WebAssembly [link1] [link2]
AVRCrypto: AVR MCU 상에서 최적화된 암호구현 제공
코딩관련
GNU related
32-bit ARM related
64-bit ARM related
GPU related
Instruction Set Table
Post-Quantum Crypto Libraries
Next-Generation Crypto LIbrary
Attribute-based encryption
Homomorphic encryption
Intro blog including vedio resources
암호최적화
Crypto AVX Implementation
Constant Time Implementation
Hash Function optimization
ECC Implementations
Curve25519
구현정확성 검증
Hardware Implementation
RISC-V
Online 코드 작성 사이트
Crypto Summer School Slides
Summer School on real-world crypto and privacy
Crypto School in Workshop on Elliptic Curve Cryptography
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 20240223)
Lecture at Boston University (Formal methods in security and privacy)
https://github.com/alleystoughton/EasyTeach
The last mile: high-assurance and high-speed cryptographic implementations (IEEE S&P 2020)
Formosa Projects (Machine-checked cryptography and high-assurance cryptographic engineering)
An Introduction to Tools for Verified Cryptography (Indocrypt 2020)