compsec-snu / tiktag
TikTag: Breaking ARM's Memory Tagging Extension with Speculative Execution (IEEE S&P 2025)
☆62Updated 4 months ago
Alternatives and similar repositories for tiktag:
Users that are interested in tiktag are comparing it to the libraries listed below
- ☆71Updated last year
- InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets☆50Updated 3 weeks ago
- Artifact of "Indirector: High-Precision Branch Target Injection Attacks Exploiting the Indirect Branch Predictor" [USENIX Security 2024]☆59Updated 7 months ago
- Spectre based on Linear Address Masking☆68Updated last year
- Proof-of-concept implementation for the paper "CacheWarp: Software-based Fault Injection using Selective State Reset" (USENIX Security 20…☆60Updated 7 months ago
- Linux Kernel Fuzzer Corpus☆132Updated this week
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆24Updated 11 months ago
- ☆53Updated 2 weeks ago
- ☆36Updated last year
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆57Updated 10 months ago
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆56Updated 3 years ago
- VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.☆119Updated 9 months ago
- Defeating Pointer Authentication on the Apple M1 with Hardware Attacks☆40Updated 2 years ago
- Medusa Repository: Transynther tool and Medusa Attack☆21Updated 4 years ago
- Pre-Silicon Hardware Fuzzing Toolkit☆54Updated last month
- Student Starter Code for Secure Hardware Design at MIT☆43Updated 9 months ago
- Revizor - a fuzzer to search for microarchitectural leaks in CPUs☆122Updated last week
- Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)☆28Updated 10 months ago
- Explore a live Linux kernel's memory using GDB☆114Updated 2 years ago
- A versatile and easy-to-use static binary patching tool.☆35Updated last month
- ☆178Updated last year
- Proof-of-concept implementation for the paper "Indirect Meltdown: Building Novel Side-Channel Attacks from Transient Execution Attacks" (…☆20Updated last year
- ☆57Updated 10 months ago
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆24Updated 5 months ago
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆61Updated 2 years ago
- Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels☆72Updated 2 years ago
- ☆23Updated last year
- In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication☆13Updated 2 years ago
- Rage Against The Machine Clear: A Systematic Analysis of Machine Clears and Their Implications for Transient Execution Attacks☆20Updated 3 years ago
- Proof-of-concept for the GhostWrite CPU bug.☆107Updated 7 months ago