pornin / CTTKLinks
Constant-Time Toolkit
☆301Updated 7 years ago
Alternatives and similar repositories for CTTK
Users that are interested in CTTK are comparing it to the libraries listed below
Sorting:
- Noise Specification☆462Updated 7 years ago
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆407Updated 8 months ago
- Checking that functions are constant time with Valgrind☆196Updated 8 years ago
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 5 years ago
- CJAG is an open-source implementation of our cache-based jamming agreement.☆285Updated 4 years ago
- Ledger's Advanced Side-Channel Analysis Repository☆401Updated 2 years ago
- A way to cryptographically hash objects (in the JSON-ish sense) that works cross-language. And, therefore, cross-encoding.☆146Updated 2 years ago
- ☆100Updated 9 years ago
- A party game for nerdy cryptographers. Shamelessly based on Cards Against Humanity.☆324Updated 5 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆324Updated 9 years ago
- Trace And Rewrite Delays In Syscalls: Hooking time-related Linux syscalls to warp a process's perspective of time, using ptrace.☆160Updated last year
- Missed optimizations in C compilers☆339Updated 7 years ago
- Demo Spectre with 70 lines code☆126Updated 7 years ago
- A Fully Homomorphic Encryption Brainfuck virtual machine☆217Updated 6 years ago
- dude, is my code constant time?☆198Updated last year
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆442Updated 3 years ago
- Links to stuff arising from or related to the HACS workshop.☆34Updated 8 years ago
- ☆82Updated 5 years ago
- Meta-repository for Miscreant: misuse-resistant symmetric encryption library with AES-SIV (RFC 5297) and AES-PMAC-SIV support☆474Updated 6 years ago
- YubiHSM2-backed signing server☆210Updated 7 years ago
- ☆58Updated 8 years ago
- Signed/Encrypted ARchive: always-encrypted tar-like archive tool with optional signature support☆355Updated 3 years ago
- On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees☆270Updated 4 years ago
- ☆89Updated 9 years ago
- The engine that powers DeLorean!☆837Updated 6 years ago
- Understand and mitigate software-observable side-channels☆506Updated 5 years ago
- an embeddable dumb heartbeat daemon in 260 bytes of RAM and ≈350 bytes of code☆272Updated 8 years ago
- A library for off-the-record (deniable authenticated forward secure confidential) multiparty messaging☆406Updated 8 years ago
- Sphinx-based Password Storage low-level library☆129Updated last year
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆548Updated 3 years ago