oreparaz / dudect
dude, is my code constant time?
☆176Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for dudect
- Checking that functions are constant time with Valgrind☆176Updated 7 years ago
- Fast constant-time AES implementations on 32-bit architectures☆61Updated last month
- ☆35Updated 7 years ago
- Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme☆50Updated last year
- Minimal RISC Extensions for Isolated Execution☆50Updated 5 years ago
- ☆81Updated 4 years ago
- Crypto library☆52Updated last month
- A programming language to write bitsliced ciphers☆56Updated 2 months ago
- Flexible and Constant Time Programming Language☆198Updated 2 years ago
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆78Updated 2 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆103Updated 2 years ago
- Haraka is a secure and efficient short-input hash function.☆52Updated 7 years ago
- A bitsliced implementation of ECB and CTR AES☆46Updated 3 months ago
- Efficient TLS termination inside Intel SGX enclaves for existing applications☆106Updated 2 years ago
- Lean cryptographic library usable for bare-metal environments☆28Updated this week
- Language for high-assurance and high-speed cryptography☆270Updated this week
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 4 years ago
- Assembly super-optimization via constraint solving☆167Updated last week
- Verified Assembly Language for Everest☆270Updated 8 months ago
- CRYPTOGAMS distribution repository☆56Updated 2 weeks ago
- Program for finding low gate count implementations of S-boxes.☆37Updated 3 weeks ago
- A microarchitectural leakage detection framework using dynamic instrumentation.☆68Updated 5 months ago
- A C implementation of elliptic-curve-based Direct Anonymous Attestation (DAA) signatures. Created to support the Xaptum Edge Network Fabr…☆45Updated 3 years ago
- Finalists to the NIST lightweight cryptography competition☆37Updated 2 years ago
- Teaching materials related to the Tamarin Prover☆63Updated 3 months ago
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆364Updated 4 months ago
- ☆42Updated last week
- Website and PoC collection for transient execution attacks☆169Updated 8 months ago
- Optimized Binary GCD for Modular Inversion☆41Updated 4 years ago
- Jitterentropy Library☆101Updated last week