pornin / CTTK
Constant-Time Toolkit
☆294Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for CTTK
- Noise Specification☆449Updated 6 years ago
- Checking that functions are constant time with Valgrind☆176Updated 7 years ago
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆404Updated 9 months ago
- CJAG is an open-source implementation of our cache-based jamming agreement.☆280Updated 2 years ago
- Missed optimizations in C compilers☆342Updated 6 years ago
- YubiHSM2-backed signing server☆209Updated 6 years ago
- Demo Spectre with 70 lines code☆123Updated 6 years ago
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 4 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
- ☆88Updated 8 years ago
- Ledger's Advanced Side-Channel Analysis Repository☆376Updated last year
- Signed/Encrypted ARchive: always-encrypted tar-like archive tool with optional signature support☆355Updated last year
- Trace And Rewrite Delays In Syscalls: Hooking time-related Linux syscalls to warp a process's perspective of time, using ptrace.☆158Updated 7 months ago
- Links to stuff arising from or related to the HACS workshop.☆35Updated 6 years ago
- Doug McIlroy's C++ regular expression matching library☆95Updated 6 years ago
- Chaotic Life☆44Updated 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
- Understand and mitigate software-observable side-channels☆498Updated 3 years ago
- ☆81Updated 4 years ago
- A tiny C cryptographic library to encrypt sessions, authenticate messages, sign, hash, etc. based only on SHA-3 and Curve25519☆66Updated 3 years ago
- ☆97Updated 8 years ago
- DISCoHAsH - Simple, fast, quality hash in 120 lines. 10GB/s serial (depending on hardware). Also in NodeJS☆218Updated last year
- an embeddable dumb heartbeat daemon in 260 bytes of RAM and ≈350 bytes of code☆270Updated 7 years ago
- A party game for nerdy cryptographers. Shamelessly based on Cards Against Humanity.☆320Updated 4 years ago
- ☆57Updated 7 years ago
- dude, is my code constant time?☆176Updated 8 months ago
- Reference implementations (software)☆85Updated 8 years ago
- Yet Another Brainfuck Compiler; No dependencies and from the ground up☆274Updated last year
- Just a simple radare2 Jupyter kernel☆111Updated 6 years ago