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
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆61Updated 2 years ago
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆16Updated 10 months ago
- Automatic detection of speculative information flows☆67Updated 3 years ago
- The public release of LeftoverLocals code☆65Updated last year
- Fast and effective grammar-based fuzzing based on Gramatron☆16Updated last week
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆32Updated 4 years ago
- The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Executi…☆13Updated 2 years ago
- ☆23Updated this week
- Revizor - a fuzzer to search for microarchitectural leaks in CPUs☆122Updated this week
- Tool for testing and finding minimal eviction sets☆99Updated 3 years ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆42Updated 2 years ago
- Proof-of-concept implementation for the paper "(M)WAIT for It: Bridging the Gap between Microarchitectural and Architectural Side Channel…☆25Updated last year
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆72Updated 2 years ago
- Tool to Analyze Speculative Execution Attacks and Mitigations☆54Updated 3 years ago
- Mayhem example templates for programming languages and fuzzers that you love!☆29Updated last year
- ☆9Updated 2 years ago
- Awesome list for asm2vec☆18Updated 4 years ago
- ☆22Updated 3 years ago
- llvm crash analysis☆43Updated 9 months ago
- Artifact Repository for the paper "Prime+Probe 1, JavaScript 0: Overcoming Browser-based Side-Channel Defenses"☆40Updated 3 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆227Updated 3 years ago
- A repository of tools for verifying constant-timeness☆18Updated last month
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 8 years ago
- Gather pagegraph data from all over the internet☆24Updated this week
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Updated 8 years ago
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆56Updated 3 years ago
- Sydr benchmark applications☆17Updated 2 years ago
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆21Updated 6 years ago
- Lists of must-read papers (mainly security papers)☆28Updated 6 months ago
- This projects detects ongoing Spectre attacks, by using a neural network to analyze HPCs (Hardware Performance Counters)☆29Updated 6 years ago