mimoo / cryptobible
Auditing Applied Cryptography
☆10Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for cryptobible
- Differential fuzzing for elliptic curves☆23Updated last year
- ☆18Updated last year
- Intuitive Quantum Computation and Post-Quantum Cryptography☆62Updated 2 years ago
- Deterministic/nonce-reuse resistant authenticated encryption scheme using XChaCha20, implemented on libsodium.☆28Updated 3 months ago
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆39Updated 2 months ago
- Mirror of all PDFs from the IACR's eprint☆46Updated 10 months ago
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆14Updated 4 years ago
- Parses https://eprint.iacr.org/eprint-bin/search.pl?last=365&title=1 and sends you an email with the latest papers☆14Updated 4 years ago
- This is a toy implementation in Go of Manger's chosen-ciphertext attack on RSA-OAEP☆31Updated 6 years ago
- [RFC9380] Hash to curves - Rust reference implementation☆24Updated 8 months ago
- OPAQUE asymmetric PAKE, and its threshold implementation. Experimental, not audited.☆16Updated 3 years ago
- Proof-of-concept implementation of the (V)OPRF protocol in https://datatracker.ietf.org/doc/draft-irtf-cfrg-voprf/☆23Updated 4 years ago
- Stronger and Faster Side-Channel Protections for CSIDH☆19Updated 3 years ago
- Optimizations for Pairing-Based Cryptography☆16Updated 3 years ago
- cgo wrappers around post-quantum cryptography primitives☆23Updated 5 years ago
- An implementation of a post quantum anonymous credential scheme☆11Updated last year
- Pixel: Forward secure multi-signatures and threshold signatures☆16Updated 2 years ago
- Crypto Audit Guidelines☆132Updated 3 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆10Updated 3 years ago
- Designing Secure Cryptography☆21Updated 5 years ago
- ☆14Updated last month
- Implementation and simulations for the "Reducing Metadata Leakage from Encrypted Data and Communication with PURBs" paper☆30Updated last year
- ABE GPSW scheme using BLS pairing implemented in Rust.☆15Updated last year
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- ☆11Updated 10 months ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated last year
- Tools for power measurements of post-quantum cryptographic algorithms☆26Updated 4 years ago