kutio / liblll
python library to manage and reduce lattices
☆21Updated 7 years ago
Related projects: ⓘ
- Analysis and generation of substitutions☆21Updated 2 years ago
- ☆16Updated 10 years ago
- Experimental High Assurance Cryptographic Library☆20Updated 8 years ago
- Generator of "nothing-up-my-sleeve" constants☆23Updated 9 years ago
- free crypto audit☆31Updated 7 years ago
- Code to fuzz bignum libraries☆45Updated 5 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆27Updated 6 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆17Updated 6 years ago
- Docker environment that contains a Database, Monitor, Observatory and Analyzer☆14Updated 2 years ago
- GPL Number Field Sieve implementation☆32Updated 13 years ago
- Authenticated encryption scheme prover/synthesizer☆14Updated 2 years ago
- ☆27Updated this week
- ☆11Updated 2 years ago
- Simulates Attacks of AB16 on Argon2i☆11Updated 8 years ago
- Writeup for BKP 2017 challenge "SIDH-RSA-AES128-GCM-SHA256"☆26Updated 7 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆57Updated 7 years ago
- misc stuff☆19Updated 7 years ago
- Links to stuff arising from or related to the HACS workshop.☆35Updated 6 years ago
- empirical measurement of code constructs that seem like they should have constant execution time regardless of values of inputs☆9Updated 8 years ago
- Tools for attacking cryptographic implementations.☆21Updated 7 years ago
- RuCTFE 2015☆21Updated 8 years ago
- Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS☆115Updated 7 years ago
- Password hashing scheme Argon☆17Updated 9 years ago
- Collection of somewhat useful stuff for CTF events☆37Updated 9 years ago
- ☆14Updated 7 years ago
- Scripts that I used to write a blog post about section 7.24.1(2) of C11☆11Updated 8 years ago
- Tool to automatically search for linear characteristics☆39Updated 8 years ago
- Dan Kaminsky's clock drift entropy generator☆6Updated 9 years ago
- ☆11Updated this week
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆35Updated 2 years ago