PoC exploits against various SGX enclaves
☆14May 19, 2022Updated 3 years ago
Alternatives and similar repositories for teerex-exploits
Users that are interested in teerex-exploits are comparing it to the libraries listed below
Sorting:
- ☆10Feb 24, 2023Updated 3 years ago
- ☆21Aug 22, 2022Updated 3 years ago
- COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020☆26Dec 12, 2022Updated 3 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 6 years ago
- A library and an application to provide migratable primitives for SGX enclaves.☆22Feb 28, 2020Updated 6 years ago
- Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"☆14May 17, 2022Updated 3 years ago
- A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes☆45Sep 2, 2023Updated 2 years ago
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆29Feb 25, 2021Updated 5 years ago
- The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper☆56Nov 7, 2023Updated 2 years ago
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆33Apr 24, 2017Updated 8 years ago
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆10Apr 21, 2022Updated 3 years ago
- ☆14Oct 27, 2021Updated 4 years ago
- ☆16Feb 12, 2026Updated 3 weeks ago
- Efficient TLS termination inside Intel SGX enclaves for existing applications☆109Jan 25, 2022Updated 4 years ago
- Practical and Efficient in-TEE Verification of Privacy Compliance☆46Jan 10, 2025Updated last year
- ☆23Jun 9, 2021Updated 4 years ago
- Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.☆23Apr 17, 2018Updated 7 years ago
- LLVM DSA fork for SeaHorn☆21Aug 17, 2019Updated 6 years ago
- ☆21Sep 7, 2022Updated 3 years ago
- A code confidentiality framework for Intel SGX☆19Jan 8, 2019Updated 7 years ago
- An approximate solver for concolic execution☆22Apr 29, 2025Updated 10 months ago
- ☆22Dec 2, 2022Updated 3 years ago
- ☆47Nov 15, 2021Updated 4 years ago
- SGX Tutorial at CCS17: SGX Security and Privacy☆86Nov 8, 2017Updated 8 years ago
- Code for my blog post on using S2E for malware analysis☆25Jul 16, 2019Updated 6 years ago
- Process Orchestration Framework: A camunda 7 fork☆21Updated this week
- SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs☆49Apr 15, 2018Updated 7 years ago
- ☆21Oct 9, 2020Updated 5 years ago
- PoC of an SGX enclave performing symmetric reencryption☆50Aug 25, 2016Updated 9 years ago
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆56Mar 17, 2025Updated 11 months ago
- ☆32Jul 12, 2023Updated 2 years ago
- Deep Learning with Intel SGX☆23Jan 21, 2019Updated 7 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26May 23, 2017Updated 8 years ago
- Secure ZooKeeper using Intel SGX☆22Jan 12, 2017Updated 9 years ago
- A list of system papers using/about Intel SGX☆543Jul 8, 2024Updated last year
- A curated list of SGX code and resources.☆246May 27, 2024Updated last year
- OpenSSL library for SGX application☆22Jun 20, 2022Updated 3 years ago
- SQLite database inside a secure Intel SGX enclave (Linux)☆60Sep 26, 2018Updated 7 years ago