trailofbits / sixtyfour
How fast can we brute force a 64-bit comparison?
☆52Updated 4 years ago
Related projects: ⓘ
- A neural network using fuzzing-style feedback rather than back-propagation☆17Updated 4 years ago
- Detect patterns of bad behavior in function calls☆25Updated 4 years ago
- ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin☆16Updated 9 years ago
- Lower Size Bounds for Sorting Networks☆43Updated 3 years ago
- ☆20Updated this week
- Differential fuzzing for elliptic curves☆22Updated last year
- An AES-based 384 bit permutation.☆18Updated 5 years ago
- A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt☆26Updated 4 years ago
- A tweakable block cipher☆30Updated 4 months ago
- Tools for power measurements of post-quantum cryptographic algorithms☆26Updated 4 years ago
- poststructural fuzzing☆31Updated 4 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆74Updated last year
- estimate peak virtual memory use☆19Updated 7 months ago
- ☆77Updated 3 years ago
- Verifying constant-time code with symbolic execution☆40Updated 2 years ago
- ☆35Updated 4 years ago
- ☆19Updated this week
- An RFC5297-compliant C implementation of AES-SIV☆19Updated 3 years ago
- A design for doing more private Signal groups using anonymous credentials based on algebraic MACs.☆14Updated 4 years ago
- A simple library focusing on demangling symbols for different programing languages☆39Updated 3 years ago
- rune - radare2 based symbolic emulator☆26Updated 7 years ago
- a friendly wrapper around ptrace☆125Updated 2 years ago
- An experimental file formats playground☆85Updated last year
- Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.☆29Updated 6 months ago
- torrent -> http plumbing☆24Updated 4 years ago
- Converts ELF, mach-o, or PE binaries to a JSON representation☆29Updated 8 years ago
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆112Updated 3 years ago
- ☆19Updated 4 years ago
- A differential fuzzer for x86 decoders☆229Updated this week
- Automatic inference of a formal specification of the x86_64 instruction set☆65Updated 8 years ago