Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"
☆19Oct 14, 2024Updated 2 years ago
Alternatives and similar repositories for tdxdown
Users that are interested in tdxdown are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Proof-of-concept implementation of the Obelix software hardening framework, based on LLVM.☆12May 22, 2024Updated 2 years ago
- Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)☆32May 3, 2024Updated 2 years ago
- This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev v…☆45Feb 15, 2024Updated 2 years ago
- Proof-of-concept implementation for the paper "CacheWarp: Software-based Fault Injection using Selective State Reset" (USENIX Security 20…☆65Aug 12, 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 …☆101Jan 30, 2026Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆65Aug 7, 2022Updated 4 years ago
- Proof-of-concept implementation for the paper "(M)WAIT for It: Bridging the Gap between Microarchitectural and Architectural Side Channel…☆29Nov 30, 2023Updated 2 years ago
- TDXRay Framework☆35Apr 1, 2026Updated 6 months ago
- Proof-of-concept for the GhostWrite CPU bug.☆119Aug 9, 2024Updated 2 years ago
- A migration for the page table entry based side-channel attack agains SGX enclaves.☆22Feb 10, 2025Updated last year
- Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called …☆115Aug 13, 2026Updated 2 months ago
- Low level attester and verifier drivers for multiple TEEs☆26May 30, 2024Updated 2 years ago
- InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets☆60Updated this week
- Artifact for the IEEE S&P 2025 paper: "Rapid Reversing of Non-Linear CPU Cache Slice Functions: Unlocking Physical Address Leakage"☆21Apr 3, 2026Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆18Oct 19, 2023Updated 2 years ago
- A formally verified security module for AMD confidential VMs☆74Sep 25, 2026Updated 3 weeks ago
- ☆109Mar 11, 2026Updated 7 months ago
- ☆67Nov 4, 2025Updated 11 months ago
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆23Aug 7, 2023Updated 3 years ago
- Artefacts for: "VMScape: Exposing and Exploiting Incomplete Branch Predictor Isolation in Cloud Environments"☆44May 5, 2026Updated 5 months ago
- A microarchitectural leakage detection framework using dynamic instrumentation.☆87Nov 15, 2025Updated 11 months ago
- A framework to quantify Web3-based browser fingerprinting and wallet address leakage (USENIX 2023).☆13Aug 8, 2023Updated 3 years ago
- RISC-V Confidential VM Extension☆18Jan 14, 2026Updated 9 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Erebor: A Drop-In Sandbox Solution for Private Data Processing in Untrusted Confidential Virtual Machines, ACM EuroSys'25☆15Feb 6, 2026Updated 8 months ago
- Artifact for "Battering RAM: Low-Cost Interposer Attacks on Confidential Computing via Dynamic Memory Aliasing"☆39Updated this week
- ☆55Oct 20, 2025Updated 11 months ago
- Automated Vulnerability Detection Framework for Transient Execution Vulnerabilities (IEEE S&P '26)☆38Apr 17, 2026Updated 6 months ago
- ☆28Dec 22, 2024Updated last year
- A library for performing memory forensics over the IEEE 1394 interface.☆19Jul 8, 2018Updated 8 years ago
- Full disk encryption solution in the confidential computing environment☆16May 13, 2024Updated 2 years ago
- This repository contains the code for our paper "Browser-based CPU Fingerprinting".☆49Oct 19, 2022Updated 3 years ago
- Artifacts for "ZenHammer: Rowhammer Attacks on AMD Zen-based Platforms" (USENIX Security '24).☆65Jun 19, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆112Jul 16, 2023Updated 3 years ago
- Artifact for paper: Breaking and Fixing Speculative Load Hardening☆11Jan 3, 2024Updated 2 years ago
- ☆14Apr 1, 2025Updated last year
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆19Sep 21, 2026Updated 3 weeks ago
- The CTF questions about smart contracts☆11Sep 1, 2018Updated 8 years ago
- A Confidential Computing-Aware Certificate Authority☆13Jun 19, 2026Updated 3 months ago
- An implementation of the decoding of BCH codes resistant to timing attacks☆11Sep 18, 2020Updated 6 years ago