pornin / CTTK
Constant-Time Toolkit
☆295Updated 6 years ago
Alternatives and similar repositories for CTTK:
Users that are interested in CTTK are comparing it to the libraries listed below
- Missed optimizations in C compilers☆341Updated 6 years ago
- Checking that functions are constant time with Valgrind☆179Updated 8 years ago
- Noise Specification☆453Updated 6 years ago
- Flexible and Constant Time Programming Language☆199Updated 3 years ago
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆406Updated last year
- CJAG is an open-source implementation of our cache-based jamming agreement.☆282Updated 3 years ago
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆541Updated 2 years ago
- Links to stuff arising from or related to the HACS workshop.☆35Updated 7 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 8 years ago
- Demo Spectre with 70 lines code☆124Updated 7 years ago
- Meta-repository for Miscreant: misuse-resistant symmetric encryption library with AES-SIV (RFC 5297) and AES-PMAC-SIV support☆474Updated 5 years ago
- YubiHSM2-backed signing server☆209Updated 6 years ago
- Ledger's Advanced Side-Channel Analysis Repository