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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆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 Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes☆46Sep 2, 2023Updated 2 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
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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☆55Nov 7, 2023Updated 2 years ago
- Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"☆13May 17, 2022Updated 3 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆33Apr 24, 2017Updated 8 years ago
- Practical and Efficient in-TEE Verification of Privacy Compliance☆46Jan 10, 2025Updated last year
- Efficient TLS termination inside Intel SGX enclaves for existing applications☆110Jan 25, 2022Updated 4 years ago
- ☆18Mar 5, 2026Updated 2 weeks ago
- ☆22Dec 2, 2022Updated 3 years ago
- GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.☆10Apr 21, 2022Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆21Sep 7, 2022Updated 3 years ago
- SGX Tutorial at CCS17: SGX Security and Privacy☆86Nov 8, 2017Updated 8 years ago
- A curated list of SGX code and resources.☆246May 27, 2024Updated last year
- ☆23Jun 9, 2021Updated 4 years ago
- SQLite database inside a secure Intel SGX enclave (Linux)☆60Sep 26, 2018Updated 7 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26May 23, 2017Updated 8 years ago
- Deep Learning with Intel SGX☆23Jan 21, 2019Updated 7 years ago
- SGX-LKL Library OS for running Linux applications inside of Intel SGX enclaves☆271Dec 25, 2022Updated 3 years ago
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019☆38Jan 10, 2022Updated 4 years ago
- Resillent Control-Flow Attestation☆13Sep 30, 2021Updated 4 years ago
- A code confidentiality framework for Intel SGX☆19Jan 8, 2019Updated 7 years ago
- A list of system papers using/about Intel SGX☆541Jul 8, 2024Updated last year
- LLVM Implementation of different ShadowStack schemes for x86_64☆39May 2, 2020Updated 5 years ago
- ☆14Jan 7, 2023Updated 3 years ago
- ☆48Nov 15, 2021Updated 4 years ago
- Pointer analysis prototype (currently including anderson, steensgard).☆16Dec 20, 2021Updated 4 years ago
- ☆32Jul 12, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆70Jan 17, 2023Updated 3 years ago
- LeanEngine GAE Server☆26Apr 20, 2013Updated 12 years ago
- ExitLess services for SGX enclaves☆34Sep 10, 2019Updated 6 years ago
- Low-TCB Linux Applications with SGX Enclaves☆37Aug 28, 2019Updated 6 years ago
- An encrypted data analytics platform☆188Mar 29, 2023Updated 2 years ago
- ☆31Jul 11, 2022Updated 3 years ago
- SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs☆49Apr 15, 2018Updated 7 years ago