MTG-AG / cptLinks
☆12Updated 3 years ago
Alternatives and similar repositories for cpt
Users that are interested in cpt are comparing it to the libraries listed below
Sorting:
- FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C☆18Updated 7 years ago
- a RTE-free X.509 parser☆62Updated 2 years ago
- An implementation of the IETF QUIC protocol in F*☆20Updated 6 years ago
- ☆35Updated 8 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
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆61Updated 8 years ago
- TLS implemented in f7☆43Updated 9 years ago
- An interactive notebook for understanding the relation between mutual information, perceived and hypothetical information☆11Updated 5 years ago
- Industry Working Group on Automated Cryptographic Algorithm Validation☆190Updated 2 weeks ago
- ☆28Updated 3 years ago
- X.509 certificate test suite☆42Updated 3 years ago
- Frankencert - Adversarial Testing of Certificate Validation in SSL/TLS Implementations☆178Updated 2 years ago
- This is a Tamarin model of TLS 1.3☆40Updated 2 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆28Updated 7 years ago
- Differential fuzzing for elliptic curves☆23Updated last year
- A Python3 software that validates a client's side SSL/TLS application's X509 verification process☆141Updated 10 years ago
- Secure Coding Validation Suite☆70Updated 12 years ago
- ☆170Updated 4 years ago
- Models for authenticated key exchange in Tamarin☆12Updated 5 years ago
- Instruction cache leakage detection tool for modular exponentation software.☆15Updated 8 years ago
- Tools for power measurements of post-quantum cryptographic algorithms☆29Updated 5 years ago
- ☆36Updated 3 years ago
- SIDH C reference implementation☆13Updated 8 years ago
- Fast implementations of the SIMON and SPECK lightweight block ciphers for the SUPERCOP benchmark toolkit. #nsacyber☆46Updated 7 years ago
- A Tool for the Static Analysis of Cache Side Channels☆41Updated 8 years ago
- Crypto Audit Guidelines☆134Updated 4 years ago
- Post-quantum cryptography certificates☆69Updated 3 weeks ago
- BRUTUS is an alternative, fast testing framework for CAESAR ciphers.☆22Updated 9 years ago
- CRYPTOGAMS distribution repository☆59Updated 3 weeks ago
- Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme☆55Updated last year