trailofbits / sixtyfourLinks
How fast can we brute force a 64-bit comparison?
☆54Updated 6 years ago
Alternatives and similar repositories for sixtyfour
Users that are interested in sixtyfour are comparing it to the libraries listed below
Sorting:
- Lower Size Bounds for Sorting Networks☆46Updated 5 years ago
- A differential fuzzer for x86 decoders☆260Updated this week
- Docs and resources on CPU Speculative Execution bugs☆375Updated 8 years ago
- ARM is Turing-complete without data fetches☆58Updated 7 years ago
- Detect patterns of bad behavior in function calls☆25Updated 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"☆144Updated 4 years ago
- Differential fuzzing for elliptic curves☆24Updated 2 years ago
- poststructural fuzzing☆31Updated 6 years ago
- estimate peak virtual memory use☆18Updated 10 months ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆37Updated 3 years ago
- A JIT compiler for Brainfuck running on x86_64 UEFI☆89Updated 7 years ago
- IPC scripts for access to Intel CRBUS☆121Updated 4 years ago
- Revectorization passes integrated into the LLVM compiler infrastructure☆29Updated 6 years ago
- Linux i386 tool to load and execute ME modules.☆137Updated 4 years ago
- Corpus of crypto formats☆12Updated 3 years ago
- Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic☆90Updated 4 years ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆74Updated 8 years ago
- Yet another crippled decompiler project☆109Updated 4 years ago
- A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt☆30Updated 5 years ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆29Updated 8 years ago
- LLVM syntax highlight extension for VS Code☆14Updated 2 years ago
- A tiny C cryptographic library to encrypt sessions, authenticate messages, sign, hash, etc. based only on SHA-3 and Curve25519☆70Updated 4 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆72Updated 9 years ago
- Compiler/source code fuzzing tool using AFL instrumentation☆126Updated 7 years ago
- The Bear Operating System☆24Updated 8 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Updated 3 years ago
- DEPRECATED — Containerized Cloud Fuzzing☆26Updated 7 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆77Updated 3 years ago
- A neural network using fuzzing-style feedback rather than back-propagation☆18Updated 5 years ago
- Markup source code showing optimizations☆36Updated 6 years ago