razvand / snippetsLinks
Snippets, scripts, config files
☆17Updated 2 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☆75Updated 4 years ago
- ☆238Updated last year
- Domain-Specific Fuzzing with Waypoints☆240Updated 2 years ago
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆62Updated 3 years ago
- Website and PoC collection for transient execution attacks☆200Updated last year
- Revizor - Hardware fuzzing for the age of speculation☆179Updated last week
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆235Updated 3 years ago
- Tool for testing and finding minimal eviction sets☆107Updated 4 years ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆82Updated 2 months ago
- This repository contains several tools to perform Cache Template Attacks☆164Updated 2 months ago
- A vulnerable C program for testing fuzzers.☆206Updated 3 years ago
- [UNMAINTAINED] Implementation of the FLUSH+RELOAD side channel attack☆63Updated 8 years ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆41Updated 3 years ago
- ☆25Updated 4 years ago
- Tool to Analyze Speculative Execution Attacks and Mitigations☆56Updated 4 years ago
- Understand and mitigate software-observable side-channels☆506Updated 5 years ago
- ☆66Updated 6 years ago
- The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Executi…☆16Updated 3 years ago
- Student Starter Code for Secure Hardware Design at MIT☆86Updated last week
- ☆87Updated 3 years ago
- An LLVM sanitizer tutorial☆203Updated 3 years ago
- Teaching resources (OER) for Operating Systems☆72Updated last year
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆587Updated 9 months ago
- a paper template☆58Updated 5 months ago
- A flush-reload side channel attack implementation☆56Updated 3 years ago
- Project page for "The Debugging Book"☆269Updated 3 months ago
- MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.☆195Updated 3 years ago
- Symbolic debugger☆30Updated 3 weeks ago
- MCFI/PICFI tool chain☆44Updated last year
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆270Updated 2 years ago