agl / ctgrind
Checking that functions are constant time with Valgrind
☆173Updated 7 years ago
Related projects: ⓘ
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆57Updated 7 years ago
- dude, is my code constant time?☆174Updated 6 months ago
- Links to stuff arising from or related to the HACS workshop.☆35Updated 6 years ago
- ☆15Updated 6 years ago
- ☆34Updated 7 years ago
- Crypto library☆50Updated last month
- A microarchitectural leakage detection framework using dynamic instrumentation.☆65Updated 3 months ago
- Slides and examples to accompany the September 25th invited talk at SAT 2015☆14Updated 8 years ago
- ☆80Updated 4 years ago
- Efficient TLS termination inside Intel SGX enclaves for existing applications☆106Updated 2 years ago
- Verified implementation of TLS 1.3 in F*☆173Updated 3 months ago
- SGX command-line tools and paper☆146Updated 8 years ago
- Constant-Time Toolkit☆294Updated 6 years ago
- Verified Assembly Language for Everest☆262Updated 6 months ago
- Flexible and Constant Time Programming Language☆197Updated 2 years ago
- ☆168Updated 3 years ago
- Authenticated encryption scheme prover/synthesizer