trailofbits / sixtyfourLinks
How fast can we brute force a 64-bit comparison?
☆54Updated 5 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 4 years ago
- Detect patterns of bad behavior in function calls☆25Updated 5 years ago
- A differential fuzzer for x86 decoders☆252Updated last year
- Docs and resources on CPU Speculative Execution bugs☆376Updated 7 years ago
- Differential fuzzing for elliptic curves☆24Updated 2 years ago
- poststructural fuzzing☆31Updated 5 years ago
- A small test for multithreaded C++ stack unwinding on unixes☆16Updated 5 years ago
- Signature scheme submitted to NIST's Post-Quantum Cryptography Project☆74Updated 7 years ago
- Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.☆21Updated 2 years ago
- Underconstrained symbolic execution for cryptography verification☆19Updated 4 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆40Updated 3 years ago
- Corpus of crypto formats☆12Updated 2 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 3 years ago
- estimate peak virtual memory use☆18Updated 7 months 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
- A tweakable block cipher☆31Updated last year
- rune - radare2 based symbolic emulator☆27Updated 8 years ago
- Rewrite C/C++/Obj-C to Annotate Points of Interest☆27Updated 9 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- A neural network using fuzzing-style feedback rather than back-propagation☆18Updated 5 years ago
- Markup source code showing optimizations☆36Updated 5 years ago
- Mirror of all PDFs from the IACR's eprint☆47Updated last year
- LLVM syntax highlight extension for VS Code☆14Updated last year
- A programming language to write bitsliced ciphers☆58Updated last year
- PGP key poisoner☆37Updated 5 years ago
- Xoodyak, a lightweight and versatile cryptographic scheme implemented in Rust.☆30Updated 6 months ago
- Fuzzer to automatically find side-channel (timing) vulnerabilities☆123Updated 4 years ago
- Tools for power measurements of post-quantum cryptographic algorithms☆29Updated 5 years ago
- a friendly wrapper around ptrace☆133Updated 3 years ago
- Intuitive Quantum Computation and Post-Quantum Cryptography☆63Updated 3 years ago