☆23Apr 5, 2025Updated 11 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 month
- A tool for linear and differential cryptanalysis of block ciphers written in Rust☆15Sep 28, 2022Updated 3 years ago
- ☆13Jan 3, 2026Updated 2 months ago
- An EXPERIMENTAL implementation of the CPace PAKE, instantiated with the Ristretto255 group. In Rust☆16Aug 25, 2020Updated 5 years ago
- High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.☆14Jun 3, 2021Updated 4 years ago
- Post-quantum cryptography certificates☆79Updated this week
- ☆12Jul 23, 2024Updated last year
- Solution to harden TLS security by storing private keys and delegating operations to the Trused Execution Environment☆13Oct 10, 2022Updated 3 years ago
- Mirror of my Go Kyber implementation.☆16May 30, 2018Updated 7 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Apr 19, 2023Updated 2 years ago
- Differential fuzzing for elliptic curves☆24Sep 6, 2023Updated 2 years ago
- A free and open source tool for Deep Learning Side Channel Analysis☆17Oct 31, 2019Updated 6 years ago
- Wycheproof for Rust☆20Sep 3, 2025Updated 6 months ago
- Towards an IETF RFC for XChaCha20-Poly1305☆28Jan 10, 2020Updated 6 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
- High-speed full CRYSTALS-DILITHIUM implementation on FPGA: Keygen, Sign, Verify.☆81Nov 30, 2022Updated 3 years ago
- tamper resistant audit log☆17Aug 30, 2018Updated 7 years ago
- (Oblivious) DoH Server☆26Feb 21, 2022Updated 4 years ago
- Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange☆28Jun 7, 2024Updated last year
- Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203☆159Updated this week
- Small, self-contained C implementation of Ristretto255 based on libdecaf☆13Apr 4, 2019Updated 6 years ago
- This is only the beginning.☆22Mar 13, 2026Updated last week
- Implementation of draft-irtf-cfrg-hpke☆30May 11, 2023Updated 2 years ago
- Manage efficiently your heavy side-channel datasets with eShard library and process them with http://gitlab.com/eshard/scared. This is a …☆14Jan 28, 2026Updated last month
- dude, is my code constant time?☆201Mar 19, 2024Updated 2 years ago
- ☆19Nov 22, 2025Updated 4 months ago
- ☆19Aug 15, 2024Updated last year
- Rust bindings for HACL & Evercrypt☆30Apr 24, 2025Updated 10 months ago
- Source code for all entries from the 2023 ZPrize competition☆25Jan 29, 2026Updated last month
- Saber and NTRU on M4 and AVX2☆18Jan 15, 2022Updated 4 years ago
- Efficient implementation of maksed AES on ARM NEON☆23Jun 6, 2017Updated 8 years ago
- Constant time big numbers for Go☆106Feb 26, 2025Updated last year
- Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)☆61Jun 13, 2025Updated 9 months ago
- Circuits for functions of interest to cryptography☆28Jan 31, 2024Updated 2 years ago
- A library to convert between Sigstore Bundles and PEP 740 Attestation objects☆14Updated this week
- Integer Multiplier Generator for Verilog☆24Jul 4, 2025Updated 8 months ago
- A bitsliced implementation of ECB and CTR AES☆54Aug 1, 2024Updated last year