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
- A neural network using fuzzing-style feedback rather than back-propagation☆18Updated 4 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago
- A differential fuzzer for x86 decoders☆241Updated 3 months ago
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- Tracks runtime instruction execution in Linux programs☆33Updated 11 years ago
- Verifying constant-time code with symbolic execution☆42Updated 3 years ago
- ARM is Turing-complete without data fetches☆56Updated 6 years ago
- Automatic Binary Parallelisation☆38Updated last year
- estimate peak virtual memory use☆19Updated last week
- Apparently this maybe blogs or something?☆16Updated 5 months ago
- Trace a program using CPU tracer technology.☆27Updated 2 years ago
- Rewrite C/C++/Obj-C to Annotate Points of Interest☆27Updated 8 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆68Updated 8 years ago
- ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin☆16Updated 9 years ago
- Spectre POC: Reading from another process☆33Updated 5 years ago
- poststructural fuzzing☆31Updated 5 years ago
- Source code of the paper "Lord of the Ring(s): Side Channel Attacks on the CPU On-Chip Ring Interconnect Are Practical"☆139Updated 3 years ago
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 4 years ago
- DEPRECATED — Containerized Cloud Fuzzing☆27Updated 6 years ago
- Demonstrate ability to read memfd_secret() data from the kernel☆57Updated last year
- Docs and resources on CPU Speculative Execution bugs☆372Updated 7 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Reference implementations of post-quantum cryptographic primitives☆29Updated last year
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- Markup source code showing optimizations☆36Updated 5 years ago
- DES cracking using brute force algorithm and CUDA☆24Updated 7 years ago
- Why fuzzing with emulators is amazing☆135Updated 4 years ago
- ☆112Updated last year