Understand and mitigate software-observable side-channels
☆506Jan 6, 2021Updated 5 years ago
Alternatives and similar repositories for safeside
Users that are interested in safeside are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Website and PoC collection for transient execution attacks☆203Mar 9, 2024Updated 2 years ago
- RIDL test suite and exploits☆365Jun 9, 2020Updated 5 years ago
- Rage Against The Machine Clear: A Systematic Analysis of Machine Clears and Their Implications for Transient Execution Attacks☆25Jun 11, 2021Updated 4 years ago
- ☆17Jun 26, 2025Updated 8 months ago
- Automatic detection of speculative information flows☆75Jul 14, 2021Updated 4 years ago
- This repository contains exploit and reverse-engineering source code regarding the Spectre-BHB/Branch History Injection vulnerability☆121Apr 12, 2022Updated 3 years ago
- ☆48Dec 19, 2018Updated 7 years ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆34Oct 16, 2020Updated 5 years ago
- Proof-of-concept code for the SMoTherSpectre exploit.☆77Nov 12, 2019Updated 6 years ago
- Tool for testing and finding minimal eviction sets☆106May 6, 2021Updated 4 years ago
- clang-based search engine for C/C++ data structures, classes, prototypes & macros☆103Jul 15, 2025Updated 8 months ago
- This repository contains several tools to perform Cache Template Attacks☆165Nov 11, 2025Updated 4 months ago
- ☆17Aug 25, 2022Updated 3 years ago
- Constant-time choose between two variables in Clang/LLVM☆20Apr 14, 2018Updated 7 years ago
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- A Tool for the Static Analysis of Cache Side Channels☆42Mar 5, 2017Updated 9 years ago
- Docs and resources on CPU Speculative Execution bugs☆376Jan 28, 2018Updated 8 years ago
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆63Aug 7, 2022Updated 3 years ago
- ☆29Feb 20, 2024Updated 2 years ago
- Tool to Analyze Speculative Execution Attacks and Mitigations☆56Dec 8, 2021Updated 4 years ago
- Medusa Repository: Transynther tool and Medusa Attack☆19Jul 14, 2020Updated 5 years ago
- A tool to enable fuzzing for Spectre vulnerabilities☆31Feb 20, 2020Updated 6 years ago
- Streamline Covert Channel Attack (presented in ASPLOS'21)☆22Feb 18, 2021Updated 5 years ago
- This repository contains examples of Flush+Flush cache attacks☆170Oct 12, 2021Updated 4 years ago
- ☆11Mar 17, 2021Updated 5 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆30Jul 7, 2021Updated 4 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆26May 5, 2021Updated 4 years ago
- Proof-of-concept for the ZombieLoad attack☆829Dec 24, 2021Updated 4 years ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆591Feb 20, 2026Updated last month
- The artifact for SecSMT paper -- Usenix Security 2022☆31Oct 4, 2022Updated 3 years ago
- A practical attack framework for precise enclave execution control☆471Jan 16, 2026Updated 2 months ago
- SymCC: efficient compiler-based symbolic execution☆862Mar 16, 2026Updated last week
- This repository contains several tools to perform Prefetch Side-Channel Attacks☆62Feb 22, 2017Updated 9 years ago
- Revizor - Hardware fuzzing for the age of speculation☆182Mar 4, 2026Updated 2 weeks ago
- Diablo is a retargetable link-time binary rewriting framework☆82Dec 21, 2020Updated 5 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆169Dec 4, 2025Updated 3 months ago
- llvm-mctoll☆870Jun 22, 2024Updated last year
- ☆17Jun 25, 2017Updated 8 years ago
- ☆10Nov 14, 2022Updated 3 years ago