kutio / liblllLinks
python library to manage and reduce lattices
☆22Updated 8 years ago
Alternatives and similar repositories for liblll
Users that are interested in liblll are comparing it to the libraries listed below
Sorting:
- Generator of "nothing-up-my-sleeve" constants☆24Updated 10 years ago
- Analysis and generation of substitutions☆23Updated 3 years ago
- ☆17Updated 10 years ago
- Timing Attack on TLS' ECDSA signature☆45Updated 9 years ago
- Writeup for BKP 2017 challenge "SIDH-RSA-AES128-GCM-SHA256"☆26Updated 8 years ago
- Experimental High Assurance Cryptographic Library☆20Updated 9 years ago
- RuCTFE 2015☆21Updated 9 years ago
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- Code to fuzz bignum libraries☆46Updated 6 years ago
- Homomorphic encryption for voting☆11Updated 10 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago
- misc stuff☆19Updated 8 years ago
- Docker environment that contains a Database, Monitor, Observatory and Analyzer☆14Updated 3 years ago
- A user-first approach to threat modeling.☆17Updated 4 months ago
- Reference implementations (software)☆85Updated 8 years ago
- Tools for attacking cryptographic implementations.☆21Updated 8 years ago
- Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS☆119Updated 8 years ago
- BRUTUS is an alternative, fast testing framework for CAESAR ciphers.☆22Updated 9 years ago
- Various cryptographic backdoors and tools to detect them☆21Updated 9 years ago
- Tool to automatically search for linear characteristics☆39Updated 9 years ago
- Mirror of afl-fuzz, a fuzzer with compiler instrumentation. The original source is only distributed over HTTP. SHA256 checksums verified …☆23Updated 10 years ago
- Links to stuff arising from or related to the HACS workshop.☆34Updated 7 years ago
- free crypto audit☆31Updated 8 years ago
- An Implementation of the Fully Homomorphic Smart-Vercauteren Cryptosystem☆44Updated 10 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆37Updated 3 years ago
- An implementation of the first-order Differential Power Analysis (DPA) attack, suited for evaluations of AES-128 algorithm on microcontro…☆27Updated 12 years ago
- This is a toy implementation in Go of Manger's chosen-ciphertext attack on RSA-OAEP☆31Updated 7 years ago
- ☆56Updated 9 years ago
- Experiments in high-assurance crypto.☆47Updated 2 years ago
- Software for "Quantum-Resistant Cryptosystems from Supersingular Elliptic Curve Isogenies"☆89Updated 6 years ago