HexHive / EL3XIR
Fuzzing Secure Monitor Implementations
☆14Updated 8 months ago
Alternatives and similar repositories for EL3XIR:
Users that are interested in EL3XIR are comparing it to the libraries listed below
- ARM CCA support for QEMU. Check wiki for instructions. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆24Updated 2 years ago
- The published code repo for the Cortex-M SoK paper.☆19Updated 3 weeks ago
- ☆33Updated last year
- ☆42Updated last week
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆59Updated 4 months ago
- ☆25Updated 5 months ago
- OP-TEE Trusted Applications vulnerable to memory corruption bugs.☆14Updated 4 years ago
- A Refcount-guided Fuzzer for Exposing Temporal Memory Errors in Linux Kernel☆20Updated 6 months ago
- Forked from tf-rmm@trustedfirmware, support QEMU platform. Check wiki for instruction. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆19Updated 2 years ago
- Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)☆26Updated last year
- COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020☆25Updated 2 years ago
- ☆13Updated 3 years ago
- Rage Against The Machine Clear: A Systematic Analysis of Machine Clears and Their Implications for Transient Execution Attacks☆21Updated 3 years ago
- Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)☆29Updated 11 months ago
- ☆14Updated last year
- ☆33Updated last year
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆36Updated 5 months ago
- ViDeZZo source code.☆35Updated this week
- PeTAL: Ensuring Access Control Integrity against Data-only Attacks on Linux (ACM CCS 2024)☆10Updated 5 months ago
- ☆22Updated 4 years ago
- ☆85Updated last week
- Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"☆13Updated 2 years ago
- ☆36Updated last year
- WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries☆13Updated 6 months ago
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆61Updated 2 years ago
- SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.☆79Updated 2 months ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆29Updated 10 months ago
- Code of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"☆24Updated 6 months ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆24Updated 11 months ago
- ☆19Updated 6 years ago