oreparaz / dudectLinks
dude, is my code constant time?
☆194Updated 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☆195Updated 8 years ago
- A programming language to write bitsliced ciphers☆59Updated last year
- ☆38Updated 8 years ago
- Crypto library☆67Updated last month
- Fast constant-time AES implementations on 32-bit architectures☆69Updated last year
- Lean cryptographic library usable for bare-metal environments☆81Updated this week
- A tiny C cryptographic library to encrypt sessions, authenticate messages, sign, hash, etc. based only on SHA-3 and Curve25519☆70Updated 4 years ago
- A tweakable block cipher☆31Updated last year
- A bitsliced implementation of ECB and CTR AES☆54Updated last year
- CRYPTOGAMS distribution repository☆65Updated 4 months ago
- Language for high-assurance and high-speed cryptography☆323Updated this week
- ☆82Updated 5 years ago
- Example code for the AES crypto instructions on Intel chips☆84Updated 6 years ago
- Haraka is a secure and efficient short-input hash function.☆59Updated 8 years ago
- AES-GCM-SIV implementations (128 and 256 bit)☆118Updated 6 years ago
- Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme☆57Updated 2 years ago
- Assembly super-optimization via constraint solving☆233Updated this week
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆84Updated 3 years ago
- NIST Lightweight Cryptography Primitives☆54Updated 3 years ago
- ☆14Updated 9 months ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 8 years 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
- ☆34Updated 3 months ago
- Flexible and Constant Time Programming Language☆204Updated 3 years ago
- Updated! (Dec2-2019) This is a C-language software library that provides optimized implementations of the Diffie-Hellman functions known …☆44Updated 2 years ago
- ☆100Updated 9 years ago
- Verified Assembly Language for Everest☆302Updated last year
- Teaching materials related to the Tamarin Prover☆71Updated last year
- ☆54Updated this week
- Tools for power measurements of post-quantum cryptographic algorithms☆30Updated 6 years ago