Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"
☆19Oct 14, 2024Updated last year
Alternatives and similar repositories for tdxdown
Users that are interested in tdxdown are comparing it to the libraries listed below
Sorting:
- Proof-of-concept implementation of the Obelix software hardening framework, based on LLVM.☆12May 22, 2024Updated last year
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆33Aug 30, 2023Updated 2 years ago
- Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)☆33May 3, 2024Updated last year
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Apr 22, 2024Updated last year
- This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev v…☆43Feb 15, 2024Updated 2 years ago
- Proof-of-concept for the paper "StackWarp: Breaking AMD SEV-SNP Integrity via Deterministic Stack-Pointer Manipulation through the CPU’s …☆90Jan 30, 2026Updated last month
- A formally verified security module for AMD confidential VMs☆64Dec 11, 2025Updated 2 months ago
- ☆64Updated this week
- Low level attester and verifier drivers for multiple TEEs☆26May 30, 2024Updated last year
- Proof-of-concept implementation for the paper "CacheWarp: Software-based Fault Injection using Selective State Reset" (USENIX Security 20…☆65Aug 12, 2024Updated last year
- ☆11Jun 10, 2024Updated last year
- A migration for the page table entry based side-channel attack agains SGX enclaves.☆19Feb 10, 2025Updated last year
- InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets☆60Feb 20, 2026Updated 2 weeks ago
- A framework to quantify Web3-based browser fingerprinting and wallet address leakage (USENIX 2023).☆13Aug 8, 2023Updated 2 years ago
- ☆31Jun 14, 2023Updated 2 years ago
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆22Aug 7, 2023Updated 2 years ago
- Artefacts for: "VMScape: Exposing and Exploiting Incomplete Branch Predictor Isolation in Cloud Environments"☆36Oct 17, 2025Updated 4 months ago
- The tdx-guest provides a Rust implementation of Intel® Trust Domain Extensions (Intel® TDX) Guest APIs, supporting for TDX Guest specific…☆27Updated this week
- Artifacts for "ZenHammer: Rowhammer Attacks on AMD Zen-based Platforms" (USENIX Security '24).☆60Jun 19, 2025Updated 8 months ago
- ☆64Nov 4, 2025Updated 4 months ago
- ☆26Dec 22, 2024Updated last year
- Rust library for Intel TDX☆31Nov 24, 2025Updated 3 months ago
- The Confidential Computing Certifier Framework consists of a client API called the Certifier-API and server-based policy evaluation calle…☆73Updated this week
- ☆76Sep 17, 2025Updated 5 months ago
- PrivacyGo Data Clean Room (PGDCR) is an open-source project for easily building and deploying data collaboration framework to the cloud u…☆35Oct 31, 2024Updated last year
- ☆43Oct 20, 2025Updated 4 months ago
- Create and deploy virtual-experiments - co-processing computational workflows☆10Jan 28, 2026Updated last month
- SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.☆40Apr 30, 2025Updated 10 months ago
- ☆40Jan 5, 2026Updated 2 months ago
- Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called …☆95Aug 13, 2025Updated 6 months ago
- ext_mpi_collectives☆11Apr 1, 2025Updated 11 months ago
- PARADIS, a lightweight and flexible weather forecast model that tries to Keep It Simple.☆26Feb 4, 2026Updated last month
- Memory Topology for GPUs☆17Feb 13, 2026Updated 3 weeks ago
- Next-Gen Occlum, a work-in-progress fork of Occlum that is optimized for the next-generation of Intel SGX (on Xeon SP processors)☆35Mar 28, 2023Updated 2 years ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆39Nov 18, 2022Updated 3 years ago
- EPOCH Input System Version 2☆10Jun 5, 2020Updated 5 years ago
- Code for paper "Beyond Closure Models: Learning Chaotic Systems via Physics-Informed Neural Operators".☆14Dec 24, 2025Updated 2 months ago
- Performance Counter Reader☆11Sep 14, 2022Updated 3 years ago
- 2D time-domain isotropic (visco)elastic FD modeling and full waveform inversion (FWI) code for SH-waves☆13Aug 9, 2020Updated 5 years ago