razvand / snippets
Snippets, scripts, config files
☆16Updated 3 months ago
Alternatives and similar repositories for snippets:
Users that are interested in snippets are comparing it to the libraries listed below
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆73Updated 2 years ago
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆61Updated 2 years ago
- A Daemon for Real-Time Detection of Cache Side-Channel Attacks☆14Updated last year
- Tool for testing and finding minimal eviction sets☆99Updated 3 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- Automatic detection of speculative information flows☆68Updated 3 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated 11 months ago
- Proof-of-concept implementation for the paper "(M)WAIT for It: Bridging the Gap between Microarchitectural and Architectural Side Channel…☆25Updated last year
- The public release of LeftoverLocals code☆65Updated last year
- ☆26Updated last week
- This repository contains several tools to perform Cache Template Attacks☆150Updated last year
- Rage Against The Machine Clear: A Systematic Analysis of Machine Clears and Their Implications for Transient Execution Attacks☆21Updated 3 years ago
- Defeating Pointer Authentication on the Apple M1 with Hardware Attacks☆42Updated 2 years ago
- This repository contains several tools to perform Prefetch Side-Channel Attacks☆58Updated 8 years ago
- gradient-based symbolic execution engine implemented from scratch☆35Updated last year
- ☆13Updated 4 years ago
- Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.☆28Updated last week
- A Ghidra static analysis tool for locating PACMAN Gadgets☆13Updated 2 years ago
- Student Starter Code for Secure Hardware Design at MIT☆72Updated 10 months ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆24Updated last year
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆32Updated 4 years ago
- Tool to Analyze Speculative Execution Attacks and Mitigations☆55Updated 3 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆228Updated 3 years ago
- TikTag: Breaking ARM's Memory Tagging Extension with Speculative Execution (IEEE S&P 2025)☆63Updated 5 months ago
- This is the NoSql database used by CrossLine and other tools by Rochus☆9Updated last month
- Fast and effective grammar-based fuzzing based on Gramatron☆16Updated last month
- Sydr benchmark applications☆17Updated 2 years ago
- Linux Security Hardening for Confidential Compute☆66Updated 7 months ago
- Fuzzer for Amplification Vulnerabilities (USENIX '22, Krupp et al)☆14Updated 2 years ago
- Mayhem example templates for programming languages and fuzzers that you love!☆29Updated last year