Crypto-TII / TLS1.3Links
Bilingual Implementation of TLS1.3 in C++ and Rust
☆11Updated this week
Alternatives and similar repositories for TLS1.3
Users that are interested in TLS1.3 are comparing it to the libraries listed below
Sorting:
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Updated 3 months ago
- Stronger and Faster Side-Channel Protections for CSIDH☆20Updated 5 years ago
- Reference implementations of post-quantum cryptographic primitives☆33Updated 5 months ago
- Formal Analysis of the PQXDH Protocol☆30Updated last year
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆29Updated last year
- Verifying constant-time code with symbolic execution☆47Updated 4 years ago
- Bottom-up memory-safety for assembly language using symbolic execution☆17Updated this week
- ☆23Updated 10 months ago
- Hybrid Public Key Encryption☆51Updated last year
- Fast constant-time AES implementations on 32-bit architectures☆69Updated last year
- Bounds on divsteps iterations in safegcd☆57Updated last year
- NIST Lightweight Cryptography Primitives☆54Updated 3 years ago
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆38Updated last year
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆65Updated last year
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆29Updated 8 years ago
- ☆17Updated 5 months ago
- RSA blind signatures in Rust☆30Updated this week
- Exploration of NIST post-quantum signatures on-ramp candidates☆37Updated 8 months ago
- Elliptic curves Rust reference implementation☆16Updated last year
- This software is part of "Supersingular Isogeny Key Encapsulation", a submission to the NIST Post-Quantum Standardization project.☆62Updated 3 years ago
- Implementation and simulations for the "Reducing Metadata Leakage from Encrypted Data and Communication with PURBs" paper☆31Updated 2 years ago
- Wycheproof for Rust☆20Updated 5 months ago
- Differential fuzzing for elliptic curves☆24Updated 2 years ago
- Experimental implementation of KEMTLS in Rustls☆34Updated 2 months ago
- Tests support and behavior of elliptic curve cryptography implementations on JavaCards (TYPE_EC_FP and TYPE_EC_F2M) and in selected softw…☆82Updated 2 months ago
- Post-quantum cryptography certificates☆77Updated last week
- ☆28Updated 4 years ago
- Crypto library☆67Updated last month
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆44Updated last week