trailofbits / sixtyfour
How fast can we brute force a 64-bit comparison?
☆52Updated 5 years ago
Alternatives and similar repositories for sixtyfour:
Users that are interested in sixtyfour are comparing it to the libraries listed below
- Detect patterns of bad behavior in function calls☆25Updated 4 years ago
- estimate peak virtual memory use☆19Updated last week
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago
- Tools for power measurements of post-quantum cryptographic algorithms☆26Updated 5 years ago
- A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt☆29Updated 5 years ago
- Differential fuzzing for elliptic curves☆23Updated last year
- A neural network using fuzzing-style feedback rather than back-propagation☆18Updated 4 years ago
- poststructural fuzzing☆31Updated 5 years ago
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- ☆77Updated 3 years ago
- Tracks runtime instruction execution in Linux programs☆33Updated 11 years ago
- Verifying constant-time code with symbolic execution☆42Updated 3 years ago
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆115Updated 3 years ago
- Underconstrained symbolic execution for cryptography verification☆18Updated 3 years ago
- A tweakable block cipher☆31Updated 9 months ago
- A collection of shader compiler bugs.☆49Updated 6 years ago
- Tool for findings bugs in epoll-based Linux servers☆29Updated 4 years ago
- Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.☆29Updated 11 months ago
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆20Updated 3 years ago
- Set of reusable Make snippets 🏗️☆16Updated 7 years ago
- Docs and resources on CPU Speculative Execution bugs☆373Updated 7 years ago
- ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin☆16Updated 9 years ago
- ☆11Updated 4 years ago
- Secretgrind: a Valgrind analysis tool to detect secrets in memory☆59Updated 8 years ago
- ☆81Updated 4 years ago
- An RFC5297-compliant C implementation of AES-SIV☆19Updated 4 years ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- a friendly wrapper around ptrace☆132Updated 2 years ago
- Rewrite C/C++/Obj-C to Annotate Points of Interest☆27Updated 9 years ago
- A framework for instrumenting build tools☆84Updated 3 months ago