razvand / snippetsLinks
Snippets, scripts, config files
☆16Updated 5 months ago
Alternatives and similar repositories for snippets
Users that are interested in snippets are comparing it to the libraries listed below
Sorting:
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆74Updated 2 years ago
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆61Updated 2 years ago
- ☆9Updated 2 years ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆32Updated 4 years ago
- The public release of LeftoverLocals code☆66Updated last year
- Mayhem example templates for programming languages and fuzzers that you love!☆33Updated last year
- Automatic detection of speculative information flows☆68Updated 3 years ago
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 5 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆228Updated 3 years ago
- A Daemon for Real-Time Detection of Cache Side-Channel Attacks☆13Updated last year
- Tool for testing and finding minimal eviction sets☆103Updated 4 years ago
- Tool to Analyze Speculative Execution Attacks and Mitigations☆55Updated 3 years ago
- Fast and effective grammar-based fuzzing based on Gramatron☆16Updated 2 months ago
- Proof-of-concept implementation for the paper "(M)WAIT for It: Bridging the Gap between Microarchitectural and Architectural Side Channel…☆26Updated last year
- Explore a live Linux kernel's memory using GDB☆115Updated 2 years ago
- A Dolev-Yao-model-guided fuzzer for TLS☆140Updated this week
- ☆13Updated 4 years ago
- A tool for detecting Spectre vulnerabilities through fuzzing☆41Updated 3 years ago
- SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results☆27Updated this week
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆42Updated 2 years ago
- Using Data Memory-Dependent Prefetchers to Leak Data at Rest☆36Updated 2 years ago
- Boring tool to launch multiple afl-fuzz instances☆50Updated 7 years ago
- A toolkit for building whole-program LLVM bitcode files☆77Updated 3 years ago
- Student Starter Code for Secure Hardware Design at MIT☆75Updated last year
- Dynamically discover the commands used to create a piece of software☆49Updated 3 months ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆57Updated 3 years ago
- Verification of BPF JIT compilers☆55Updated last year
- A JavaScript wrapper for Z3 containing support for regular expressions & capture groups☆22Updated 11 months ago
- ☆23Updated 3 years ago