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
- Checking that functions are constant time with Valgrind☆178Updated 8 years ago
- Noise Specification☆450Updated 6 years ago
- Missed optimizations in C compilers☆342Updated 6 years ago
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆540Updated 2 years ago
- ☆88Updated 9 years ago
- A Fully Homomorphic Encryption Brainfuck virtual machine☆215Updated 5 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
- Sphinx-based Password Storage low-level library☆129Updated last month
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 4 years ago
- YubiHSM2-backed signing server☆209Updated 6 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 8 years ago
- ☆193Updated this week
- Meta-repository for Miscreant: misuse-resistant symmetric encryption library with AES-SIV (RFC 5297) and AES-PMAC-SIV support☆474Updated 5 years ago
- Ledger's Advanced Side-Channel Analysis Repository☆380Updated last year
- Links to stuff arising from or related to the HACS workshop.☆35Updated 7 years ago
- ☆81Updated 4 years ago
- Trace And Rewrite Delays In Syscalls: Hooking time-related Linux syscalls to warp a process's perspective of time, using ptrace.☆159Updated 10 months ago
- ☆97Updated 8 years ago
- The Swiss army knife of data examination and manipulation☆333Updated 6 years ago
- Doug McIlroy's C++ regular expression matching library☆95Updated 6 years ago
- A very fast library for validating UTF-8 using AVX2/SSE4 instructions☆219Updated 4 years ago
- dude, is my code constant time?☆176Updated 11 months ago
- Golang implementation of Monotone Span Programs☆22Updated 8 years ago
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆433Updated 2 years ago
- Signed/Encrypted ARchive: always-encrypted tar-like archive tool with optional signature support☆356Updated 2 years ago
- Presentation: Debugging across pipes and sockets with strace☆151Updated 5 years ago
- ☆170Updated 3 years ago
- A way to cryptographically hash objects (in the JSON-ish sense) that works cross-language. And, therefore, cross-encoding.☆148Updated last year
- ☆183Updated 4 years ago