SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)
☆32Apr 24, 2017Updated 9 years ago
Alternatives and similar repositories for sgxbounds
Users that are interested in sgxbounds are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26May 23, 2017Updated 9 years ago
- Experimental setup of "Intel MPX explained"☆29Feb 4, 2020Updated 6 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆57May 24, 2022Updated 4 years ago
- ExitLess services for SGX enclaves☆34Sep 10, 2019Updated 7 years ago
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆29Feb 25, 2021Updated 5 years 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.
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆192Mar 26, 2022Updated 4 years ago
- PoC exploits against various SGX enclaves☆14May 19, 2022Updated 4 years ago
- SGX protected filesystem demo☆12Jul 28, 2017Updated 9 years ago
- Eliminating Keystroke Timing Attacks☆22Dec 12, 2017Updated 8 years ago
- mbedtls-SGX: a SGX-friendly TLS stack (ported from mbedtls)☆92Nov 1, 2019Updated 7 years ago
- A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes☆46Sep 2, 2023Updated 3 years ago
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆15Sep 8, 2022Updated 4 years ago
- A code confidentiality framework for Intel SGX☆20Jan 8, 2019Updated 7 years ago
- Automatic Compartments for Embedded Systems☆24Mar 6, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A library and an application to provide migratable primitives for SGX enclaves.☆22Feb 28, 2020Updated 6 years ago
- ☆22Dec 2, 2022Updated 3 years ago
- ☆15May 26, 2021Updated 5 years ago
- Low-TCB Linux Applications with SGX Enclaves☆37Aug 28, 2019Updated 7 years ago
- ☆10Dec 8, 2019Updated 6 years ago
- PoC of an SGX enclave performing symmetric reencryption☆49Aug 25, 2016Updated 10 years ago
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆36Apr 21, 2018Updated 8 years ago
- A list of system papers using/about Intel SGX☆555Jul 8, 2024Updated 2 years ago
- Intel® Software Guard Extensions SSL☆245Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆26Oct 4, 2018Updated 8 years ago
- ☆28Dec 22, 2024Updated last year
- ☆11Jun 10, 2024Updated 2 years ago
- Securing System Logs With Intel SGX☆17Mar 31, 2017Updated 9 years ago
- COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020☆26Dec 12, 2022Updated 3 years ago
- ☆11Oct 13, 2020Updated 6 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆16Dec 9, 2020Updated 5 years ago
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 5 years ago
- A Tool for the Static Analysis of Cache Side Channels☆43Mar 5, 2017Updated 9 years ago
- AI Agents on 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.
- My DAC '21 work open-sourced.☆14Feb 25, 2021Updated 5 years ago
- Code Repository for DataGuard Framework☆13Jul 11, 2023Updated 3 years ago
- RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)☆23May 9, 2019Updated 7 years ago
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆48Updated this week
- Scone Website☆11Oct 24, 2025Updated last year
- Spectre attack against SGX enclave☆241Jan 14, 2018Updated 8 years ago
- A hybrid cache sharing-partitioning tool for systems with Intel CAT support.☆30Mar 28, 2018Updated 8 years ago