vusec / tlbkit
some tlb experimentation code: calculate L1, L2 miss penalties and show cross-HT interference.
☆13Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for tlbkit
- Medusa Repository: Transynther tool and Medusa Attack☆20Updated 4 years ago
- oo7, a binary analysis tool to defend against Spectre vulnerabilities☆32Updated 4 years ago
- HW interface for memory caches☆26Updated 4 years ago
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆60Updated 2 years ago
- ☆17Updated 2 years ago
- ☆44Updated 5 years ago
- Tool to Analyze Speculative Execution Attacks and Mitigations☆53Updated 2 years ago
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 4 years ago
- A collection of C/C++ programs and Python scripts to be used in conjunction with Intel Software Development Emulator (Intel SDE, availabl…☆28Updated this week
- ☆23Updated 9 months ago
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆54Updated 2 years ago
- ☆18Updated 6 years ago
- Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.☆16Updated 4 years ago
- Rage Against The Machine Clear: A Systematic Analysis of Machine Clears and Their Implications for Transient Execution Attacks☆16Updated 3 years ago
- ☆9Updated 2 years ago
- Using Data Memory-Dependent Prefetchers to Leak Data at Rest☆32Updated 2 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆19Updated 7 years ago
- Gem5 implementation of "InvisiSpec", a defense mechanism of speculative execution attacks on cache hierarchy.☆58Updated 4 years ago
- Hands on with side-channels: a tutorial on covert-channels built using shared CPU resources. Three different covert-channel implementatio…☆42Updated 5 years ago
- Code to evaluate XLATE attacks as well existing cache attacks.☆29Updated 6 years ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆42Updated last year
- LLVM Implementation of different ShadowStack schemes for x86_64☆37Updated 4 years ago
- Proof-of-concept implementation for the paper "Indirect Meltdown: Building Novel Side-Channel Attacks from Transient Execution Attacks" (…☆20Updated last year
- A behavioural cache model for analysing the cache behaviour under side-channel attack.☆22Updated 2 months ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆70Updated last year
- Proof-of-concept implementation for the paper "Hammulator: Simulate Now - Exploit Later" (DRAMSec 2023)☆11Updated last year
- ☆35Updated this week
- Hardware-assisted Data-flow Isolation☆26Updated 6 years ago
- Automatic detection of speculative information flows☆66Updated 3 years ago
- Open source release of "Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud" (ASPLOS '24)☆18Updated 3 weeks ago