razvand / snippets
Snippets, scripts, config files
☆16Updated last month
Alternatives and similar repositories for snippets:
Users that are interested in snippets are comparing it to the libraries listed below
- Automatic detection of speculative information flows☆67Updated 3 years ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆72Updated 2 years ago
- ☆9Updated 2 years ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆42Updated 2 years ago
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆61Updated 2 years ago
- Revizor - a fuzzer to search for microarchitectural leaks in CPUs☆121Updated this week
- ☆21Updated this week
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆24Updated 9 months ago
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆56Updated 3 years ago
- Tool to Analyze Speculative Execution Attacks and Mitigations☆54Updated 3 years ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆32Updated 4 years ago
- some tlb experimentation code: calculate L1, L2 miss penalties and show cross-HT interference.☆13Updated 5 years ago
- ☆10Updated 3 years ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 7 years ago
- Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)☆28Updated 9 months ago
- Student Starter Code for Secure Hardware Design at MIT☆42Updated 8 months ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago
- Tool for testing and finding minimal eviction sets☆97Updated 3 years ago
- A tool for detecting Spectre vulnerabilities through fuzzing☆35Updated 3 years ago
- Medusa Repository: Transynther tool and Medusa Attack☆21Updated 4 years ago
- A flush-reload side channel attack implementation☆44Updated 2 years ago
- The public release of LeftoverLocals code☆65Updated last year
- ☆21Updated 3 years ago
- Fast and effective grammar-based fuzzing based on Gramatron☆16Updated this week
- Source code & scripts for experimental characterization and real-system demonstration of RowPress, a widespread read disturbance phenomen…☆31Updated last year
- Fork of LLVM for demonstrating optimization pass development☆31Updated last year
- This repository contains several tools to perform Cache Template Attacks☆145Updated last year
- Proof-of-concept code for the IEEE S&P 2025 paper "Peek-a-Walk: Leaking Secrets via Page Walk Side Channels"☆15Updated last month
- ☆81Updated 2 years ago
- Verification of BPF JIT compilers☆54Updated last year