UzL-ITS / tdxdownView external linksLinks
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…☆44Feb 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 …☆73Jan 30, 2026Updated 2 weeks ago
- A formally verified security module for AMD confidential VMs☆63Dec 11, 2025Updated 2 months ago
- ☆62Mar 4, 2025Updated 11 months ago
- Low level attester and verifier drivers for multiple TEEs☆25May 30, 2024Updated last year
- Proof-of-concept implementation for the paper "CacheWarp: Software-based Fault Injection using Selective State Reset" (USENIX Security 20…☆64Aug 12, 2024Updated last year
- ☆10Jun 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☆59Feb 3, 2026Updated last week
- 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 3 months ago
- The tdx-guest provides a Rust implementation of Intel® Trust Domain Extensions (Intel® TDX) Guest APIs, supporting for TDX Guest specific…☆27Jan 21, 2026Updated 3 weeks ago
- ☆63Nov 4, 2025Updated 3 months ago
- Artifacts for "ZenHammer: Rowhammer Attacks on AMD Zen-based Platforms" (USENIX Security '24).☆59Jun 19, 2025Updated 7 months ago
- Rust library for Intel TDX☆31Nov 24, 2025Updated 2 months ago
- ☆26Dec 22, 2024Updated last year
- The Confidential Computing Certifier Framework consists of a client API called the Certifier-API and server-based policy evaluation calle…☆72Updated this week
- ☆75Sep 17, 2025Updated 4 months ago
- ☆43Oct 20, 2025Updated 3 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
- Create and deploy virtual-experiments - co-processing computational workflows☆10Jan 28, 2026Updated 2 weeks ago
- SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.☆39Apr 30, 2025Updated 9 months ago
- Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called …☆92Aug 13, 2025Updated 6 months ago
- ☆40Jan 5, 2026Updated last month
- ext_mpi_collectives☆11Apr 1, 2025Updated 10 months ago
- PARADIS, a lightweight and flexible weather forecast model that tries to Keep It Simple.☆25Feb 4, 2026Updated last week
- Memory Topology for GPUs☆17Dec 9, 2025Updated 2 months 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
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆42Feb 8, 2026Updated last week
- 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
- 2D time-domain isotropic (visco)elastic FD modeling and full waveform inversion (FWI) code for SH-waves☆13Aug 9, 2020Updated 5 years ago
- ☆11Feb 27, 2024Updated last year
- OpenMP offload playground☆10Nov 16, 2024Updated last year