ARM-software / cca-rmm-acs
Tests for verifying compliance of RMM implementations
☆16Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for cca-rmm-acs
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆22Updated 6 months ago
- Linux kernel source tree☆25Updated 2 months ago
- Student Starter Code for Secure Hardware Design at MIT☆33Updated 5 months 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…☆31Updated 8 months ago
- ARM CCA support for QEMU. Check wiki for instructions. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆21Updated last year
- Forked from tf-rmm@trustedfirmware, support QEMU platform. Check wiki for instruction. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆17Updated last year
- Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)☆24Updated 6 months ago
- A tool for detecting Spectre vulnerabilities through fuzzing☆35Updated 3 years ago
- Medusa Repository: Transynther tool and Medusa Attack☆20Updated 4 years ago
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆11Updated 2 years ago
- Proof-of-concept implementation for the paper "CacheWarp: Software-based Fault Injection using Selective State Reset" (USENIX Security 20…☆57Updated 2 months ago
- Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)☆23Updated 10 months ago
- RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)☆21Updated 5 years ago
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆36Updated 2 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆34Updated 4 years ago
- Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation☆23Updated 10 months ago
- The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper☆52Updated last year
- ☆32Updated last year
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆26Updated last year
- The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Executi…☆11Updated 2 years ago
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆52Updated 5 years ago
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆14Updated 3 years ago
- ☆18Updated 2 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 4 years ago
- ☆44Updated 5 years ago
- Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)☆54Updated 2 years ago
- ☆21Updated 2 years ago
- ☆21Updated last year
- The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).☆37Updated last year
- Using Data Memory-Dependent Prefetchers to Leak Data at Rest☆32Updated 2 years ago