oreparaz / dudectLinks
dude, is my code constant time?
☆186Updated 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☆189Updated 8 years ago
- ☆35Updated 8 years ago
- A programming language to write bitsliced ciphers☆58Updated 11 months ago
- AES-GCM-SIV implementations (128 and 256 bit)☆118Updated 6 years ago
- Fast constant-time AES implementations on 32-bit architectures☆66Updated 10 months ago
- Flexible and Constant Time Programming Language☆201Updated 3 years ago
- Assembly super-optimization via constraint solving☆215Updated this week
- Language for high-assurance and high-speed cryptography☆305Updated this 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
- A tweakable block cipher☆31Updated last year
- Lean cryptographic library usable for bare-metal environments☆63Updated this week
- ☆82Updated 5 years ago
- Crypto library☆62Updated last month
- A bitsliced implementation of ECB and CTR AES☆52Updated last year
- Example code for the AES crypto instructions on Intel chips☆83Updated 5 years ago
- Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme☆55Updated last year
- ☆99Updated 9 years ago
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆380Updated 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
- Teaching materials related to the Tamarin Prover☆70Updated last year
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆87Updated 3 weeks ago
- CRYPTOGAMS distribution repository☆59Updated 3 weeks ago
- Verified Assembly Language for Everest☆294Updated last year
- Automated generation of provably secure, zero-copy parsers from format specifications☆285Updated this week
- ☆22Updated 5 months ago
- Very small, readable implementation of the SHA3 hash function.☆218Updated 8 years ago
- A C implementation of elliptic-curve-based Direct Anonymous Attestation (DAA) signatures. Created to support the Xaptum Edge Network Fabr…☆44Updated 4 years ago
- ☆28Updated 3 years ago
- NIST Lightweight Cryptography Primitives☆54Updated 3 years ago