oreparaz / dudectLinks
dude, is my code constant time?
☆183Updated last year
Alternatives and similar repositories for dudect
Users that are interested in dudect are comparing it to the libraries listed below
Sorting:
- Checking that functions are constant time with Valgrind☆188Updated 8 years ago
- ☆35Updated 8 years ago
- Fast constant-time AES implementations on 32-bit architectures☆65Updated 9 months ago
- A programming language to write bitsliced ciphers☆57Updated 11 months ago
- ☆82Updated 5 years ago
- Crypto library☆60Updated 3 weeks ago
- AES-GCM-SIV implementations (128 and 256 bit)☆118Updated 6 years ago
- Lean cryptographic library usable for bare-metal environments☆61Updated last week
- Haraka is a secure and efficient short-input hash function.☆57Updated 7 years ago
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆83Updated 3 years ago
- Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme☆55Updated last year
- A bitsliced implementation of ECB and CTR AES☆52Updated last year
- A tiny C cryptographic library to encrypt sessions, authenticate messages, sign, hash, etc. based only on SHA-3 and Curve25519☆69Updated 4 years ago
- Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)☆48Updated last month
- NIST Lightweight Cryptography Primitives☆54Updated 3 years ago
- CRYPTOGAMS distribution repository☆59Updated last week
- A tweakable block cipher☆31Updated last year
- A Tool for the Static Analysis of Cache Side Channels☆41Updated 8 years ago
- Flexible and Constant Time Programming Language☆201Updated 3 years ago
- Verified Assembly Language for Everest☆293Updated last year
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆61Updated 8 years ago
- ☆36Updated 3 years ago
- Assembly super-optimization via constraint solving☆213Updated this week
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Updated 2 years ago
- ☆33Updated last year
- Language for high-assurance and high-speed cryptography☆300Updated last week
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆85Updated last week
- ☆15Updated 7 years ago
- A C implementation of elliptic-curve-based Direct Anonymous Attestation (DAA) signatures. Created to support the Xaptum Edge Network Fabr…☆44Updated 3 years ago
- ☆99Updated 9 years ago