razvand / snippetsLinks
Snippets, scripts, config files
☆16Updated 6 months ago
Alternatives and similar repositories for snippets
Users that are interested in snippets are comparing it to the libraries listed below
Sorting:
- Automatic detection of speculative information flows☆68Updated 4 years ago
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆61Updated 2 years ago
- Website and PoC collection for transient execution attacks☆185Updated last year
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆572Updated 3 months ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆74Updated 2 years ago
- Tool for testing and finding minimal eviction sets☆104Updated 4 years ago
- Tool to Analyze Speculative Execution Attacks and Mitigations☆55Updated 3 years ago
- This repository contains several tools to perform Cache Template Attacks☆153Updated last year
- Low-Level Software Security for Compiler Developers☆562Updated last week
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆230Updated 3 years ago
- ☆24Updated 4 years ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆42Updated 2 years ago
- Revizor - a fuzzer to search for microarchitectural leaks in CPUs☆156Updated last week
- Implementation for the DIMVA'22 paper "Branch Different - Spectre Attacks on Apple Silicon"☆31Updated 2 years ago
- An LLVM sanitizer tutorial☆200Updated 3 years ago
- ☆64Updated 5 years ago
- A flush-reload side channel attack implementation☆52Updated 3 years ago
- 64-bit port of the RIPE benchmark (buffer overflow attacks). RIPE was originally developed by John Wilander and Nick Nikiforakis and pres…☆22Updated 3 years ago
- Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.☆133Updated 4 years ago
- The open-source component of Prime+Scope, published at CCS 2021☆34Updated 2 years ago
- Side-channel Analysis☆15Updated 3 years ago
- ☆193Updated last year
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆492Updated 11 months ago
- ☆233Updated 6 months ago
- Medusa Repository: Transynther tool and Medusa Attack☆23Updated 5 years ago
- A tool for detecting Spectre vulnerabilities through fuzzing☆43Updated 3 years ago
- Open-source release of "Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud" (ASPLOS '24)☆26Updated 3 months ago
- BINSEC binary-level open-source platform☆364Updated 3 weeks ago
- LAVA: Large-scale Automated Vulnerability Addition☆404Updated 3 weeks ago
- A vulnerable C program for testing fuzzers.☆199Updated 2 years ago