oreparaz / dudectLinks
dude, is my code constant time?
☆178Updated 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☆184Updated 8 years ago
- Fast constant-time AES implementations on 32-bit architectures☆64Updated 7 months ago
- Lean cryptographic library usable for bare-metal environments☆51Updated last week
- Crypto library☆60Updated last week
- ☆35Updated 8 years ago
- A programming language to write bitsliced ciphers☆56Updated 9 months ago
- ☆22Updated 2 months ago
- A tiny C cryptographic library to encrypt sessions, authenticate messages, sign, hash, etc. based only on SHA-3 and Curve25519☆68Updated 4 years ago
- Language for high-assurance and high-speed cryptography☆293Updated this week
- Example code for the AES crypto instructions on Intel chips☆82Updated 5 years ago
- Always up-to-date mirror of the SUPERCOP cryptographic benchmark.☆30Updated last month
- Assembly super-optimization via constraint solving☆191Updated this week
- Experimental implementation of KEMTLS in Rustls☆30Updated last year
- Flexible and Constant Time Programming Language☆200Updated 3 years ago
- Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme☆54Updated last year
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)☆46Updated 3 months ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆61Updated 8 years ago
- Library for elliptic curves cryptography☆261Updated 2 years ago
- Teaching materials related to the Tamarin Prover☆70Updated 9 months ago
- ☆30Updated last year
- A tweakable block cipher☆31Updated last year
- LFI: Practical, Efficient, and Secure Software-based Sandboxing☆77Updated this week
- ☆81Updated 5 years ago
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆82Updated 3 years ago
- NIST Lightweight Cryptography Primitives☆55Updated 2 years ago
- Minimal RISC Extensions for Isolated Execution☆53Updated 5 years ago
- Haraka is a secure and efficient short-input hash function.☆57Updated 7 years ago
- A bitsliced implementation of ECB and CTR AES☆52Updated 10 months ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆274Updated this week