☆23Apr 5, 2025Updated 10 months ago
Alternatives and similar repositories for KAT
Users that are interested in KAT are comparing it to the libraries listed below
Sorting:
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Oct 30, 2025Updated 4 months ago
- Bottom-up memory-safety for assembly language using symbolic execution☆17Feb 19, 2026Updated last week
- Post-quantum cryptography certificates☆78Feb 10, 2026Updated 2 weeks ago
- Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)☆60Jun 13, 2025Updated 8 months ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Apr 19, 2023Updated 2 years ago
- ☆12Mar 1, 2023Updated 3 years ago
- Solution to harden TLS security by storing private keys and delegating operations to the Trused Execution Environment☆13Oct 10, 2022Updated 3 years ago
- High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.☆14Jun 3, 2021Updated 4 years ago
- Constant-time choose between two variables in Clang/LLVM☆20Apr 14, 2018Updated 7 years ago
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆15Sep 28, 2022Updated 3 years ago
- An EXPERIMENTAL implementation of the CPace PAKE, instantiated with the Ristretto255 group. In Rust☆16Aug 25, 2020Updated 5 years ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆27Jun 7, 2024Updated last year
- ☆13Jan 3, 2026Updated last month
- Bilingual Implementation of TLS1.3 in C++ and Rust☆11Feb 6, 2026Updated 3 weeks ago
- Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203☆143Updated this week
- Mirror of my Go Kyber implementation.☆16May 30, 2018Updated 7 years ago
- Rust native library for TPM 2.0 operations. Heavily work in progress.☆13Dec 5, 2022Updated 3 years ago
- An implementation of the IETF QUIC protocol in F*☆20Aug 8, 2019Updated 6 years ago
- A repository of tools for verifying constant-timeness☆19Feb 4, 2026Updated 3 weeks ago
- A free and open source tool for Deep Learning Side Channel Analysis☆17Oct 31, 2019Updated 6 years ago
- Easy botan integration into cmake projects using automatically generated amalgamation files.☆18Oct 7, 2024Updated last year
- Wycheproof for Rust☆20Sep 3, 2025Updated 5 months ago
- This is only the beginning.☆19Updated this week
- ☆19Nov 22, 2025Updated 3 months ago
- ☆19Aug 15, 2024Updated last year
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Mar 18, 2025Updated 11 months ago
- ☆23Jul 4, 2025Updated 7 months ago
- A bitsliced implementation of ECB and CTR AES☆54Aug 1, 2024Updated last year
- Constant time big numbers for Go☆106Feb 26, 2025Updated last year
- An Implementation of the Number Theoretic Transform☆51Aug 23, 2023Updated 2 years ago
- MAYO C implementation☆23Mar 31, 2025Updated 11 months ago
- dude, is my code constant time?☆199Mar 19, 2024Updated last year
- Towards an IETF RFC for XChaCha20-Poly1305☆28Jan 10, 2020Updated 6 years ago
- A simpler alternative to the Noise protocol framework.☆23Jan 6, 2021Updated 5 years ago
- (Oblivious) DoH Server☆26Feb 21, 2022Updated 4 years ago
- Integer Multiplier Generator for Verilog☆24Jul 4, 2025Updated 7 months ago
- Efficient implementation of maksed AES on ARM NEON☆23Jun 6, 2017Updated 8 years ago
- Pure Rust implementation of FIPS 204 Module-Lattice-Based Digital Signature Standard for server, desktop, browser and embedded applicatio…☆29Sep 1, 2025Updated 6 months ago
- Collection of Key Encapsulation Mechanisms written in pure Rust☆72Feb 17, 2026Updated last week