oreparaz / dudect
dude, is my code constant time?
☆174Updated 6 months ago
Related projects: ⓘ
- Checking that functions are constant time with Valgrind☆173Updated 7 years ago
- Fast constant-time AES implementations on 32-bit architectures☆61Updated last year
- ☆113Updated this week
- Flexible and Constant Time Programming Language☆197Updated 2 years ago
- Language for high-assurance and high-speed cryptography☆250Updated this week
- Teaching materials related to the Tamarin Prover☆62Updated last month
- A programming language to write bitsliced ciphers☆55Updated 2 weeks ago
- A bitsliced implementation of ECB and CTR AES☆46Updated last month
- Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme☆49Updated 11 months ago
- Crypto library☆50Updated last month
- Haraka is a secure and efficient short-input hash function.☆50Updated 6 years ago
- ☆34Updated 7 years ago
- Experimental implementation of KEMTLS in Rustls☆26Updated 10 months ago
- A practical attack framework for precise enclave execution control☆436Updated this week
- SGX command-line tools and paper☆146Updated 8 years ago
- Verified Assembly Language for Everest☆262Updated 6 months ago
- Sphinx-based Password Storage low-level library☆128Updated 3 months ago
- Securing storage encryption by using Intel SGX enclaves. First attempt for the isolation of OS components with trusted enclaves.☆79Updated 7 years ago
- Minimal RISC Extensions for Isolated Execution☆50Updated 5 years ago
- Differential Address Trace Analysis☆51Updated 5 months ago
- A C implementation of elliptic-curve-based Direct Anonymous Attestation (DAA) signatures. Created to support the Xaptum Edge Network Fabr…☆43Updated 3 years ago
- A tiny C cryptographic library to encrypt sessions, authenticate messages, sign, hash, etc. based only on SHA-3 and Curve25519☆65Updated 3 years ago
- Efficient TLS termination inside Intel SGX enclaves for existing applications☆106Updated 2 years ago
- ☆80Updated 4 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆57Updated 7 years ago
- Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper☆78Updated 2 years ago
- A microarchitectural leakage detection framework using dynamic instrumentation.☆65Updated 3 months ago
- Example code for the AES crypto instructions on Intel chips☆81Updated 4 years ago
- The code to the SGX-ROP paper☆183Updated 4 years ago
- ☆40Updated this week