oreparaz / dudectLinks
dude, is my code constant time?
☆198Updated 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☆196Updated 8 years ago
- ☆38Updated 8 years ago
- Fast constant-time AES implementations on 32-bit architectures☆69Updated last year
- A programming language to write bitsliced ciphers☆59Updated last year
- Example code for the AES crypto instructions on Intel chips☆84Updated 6 years ago
- A tiny C cryptographic library to encrypt sessions, authenticate messages, sign, hash, etc. based only on SHA-3 and Curve25519☆70Updated 4 years ago
- Crypto library☆67Updated 2 months ago
- Lean cryptographic library usable for bare-metal environments☆81Updated this week
- Assembly super-optimization via constraint solving☆237Updated this week
- ☆82Updated 5 years ago
- Haraka is a secure and efficient short-input hash function.☆59Updated 8 years ago
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆84Updated 3 years ago
- Flexible and Constant Time Programming Language☆204Updated 3 years ago
- AES-GCM-SIV implementations (128 and 256 bit)☆118Updated 6 years ago
- A repository of tools for verifying constant-timeness☆19Updated this week
- A tweakable block cipher☆31Updated last year
- Language for high-assurance and high-speed cryptography☆328Updated this week
- Verified Assembly Language for Everest☆304Updated last year
- A bitsliced implementation of ECB and CTR AES☆54Updated last year
- CRYPTOGAMS distribution repository☆65Updated 5 months ago
- A C implementation of elliptic-curve-based Direct Anonymous Attestation (DAA) signatures. Created to support the Xaptum Edge Network Fabr…☆45Updated 4 years ago
- Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)☆60Updated 7 months ago
- AVX implementation of the Skinny block cipher☆11Updated 3 years ago
- OpenSGX☆305Updated 5 years ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆65Updated last year
- ☆100Updated 9 years ago
- Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme☆57Updated 2 years ago
- A Tool for the Static Analysis of Cache Side Channels☆40Updated 8 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆61Updated 9 years ago
- ☆14Updated 9 months ago