MTG-AG / cpt
☆12Updated 2 years ago
Related projects: ⓘ
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆17Updated 6 years ago
- a RTE-free X.509 parser☆58Updated last year
- An interactive notebook for understanding the relation between mutual information, perceived and hypothetical information☆11Updated 4 years ago
- ☆19Updated this week
- An embedded-focused banned.h / strsafe variant intended to assist for Secure Software Development Lifecycle for Embedded Developers☆12Updated 5 years ago
- ☆34Updated 7 years ago
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆20Updated 2 years ago
- estimate peak virtual memory use☆19Updated 7 months ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆35Updated 2 years ago
- An implementation of the IETF QUIC protocol in F*☆18Updated 5 years ago
- A Python3 software that validates a client's side SSL/TLS application's X509 verification process☆142Updated 9 years ago
- Kudelski Security's 2018 pre-Black Hat crypto challenge☆36Updated 6 years ago
- HILA5 KEM/DEM. Reference and Optimized Implementations + NIST PQC Submission Documents☆16Updated 6 years ago
- ☆11Updated 3 years ago
- ☆14Updated this week
- Tools for power measurements of post-quantum cryptographic algorithms☆26Updated 4 years ago
- Detect patterns of bad behavior in function calls☆25Updated 4 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆27Updated 6 years ago
- Scripts that I used to write a blog post about section 7.24.1(2) of C11☆11Updated 8 years ago
- Implementation of the key recovery attack against GEA-1 keys (Eurocrypt 2021)☆47Updated 2 years ago
- An RFC5297-compliant C implementation of AES-SIV☆19Updated 3 years ago
- ☆12Updated this week
- ☆19Updated 4 years ago
- Tools for timing attacks☆18Updated 8 years ago
- X.509 certificate test suite☆39Updated 3 years ago
- NIST CSRC Cryptography Toolkit test vectors (unofficial and dumped to text)☆23Updated 5 years ago
- BRUTUS is an alternative, fast testing framework for CAESAR ciphers.☆21Updated 8 years ago
- SIDH C reference implementation☆13Updated 7 years ago
- Differential fuzzing for elliptic curves☆22Updated last year
- A history of PGP-related vulnerabilities☆21Updated 3 years ago