lwyeluo / Container-IMA
For paper Container-IMA: https://www.usenix.org/system/files/raid2019-luo.pdf
☆10Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for Container-IMA
- ☆29Updated last year
- ☆21Updated last year
- Derived from CAT-SGX and elf-respect: Practical and Efficient in-Enclave Verification of Privacy Compliance☆41Updated 2 years ago
- ☆18Updated 2 years ago
- ☆14Updated 3 years ago
- ☆12Updated 3 years ago
- Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)☆13Updated 4 years ago
- On the TOCTOU Problem in Remote Attestation☆13Updated 5 months ago
- COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020☆26Updated last year
- ☆24Updated last year
- Raspbian with OP-TEE support.☆24Updated 5 years ago
- ☆21Updated 2 years ago
- ☆30Updated 2 years ago
- Implementation of the Reusable Enclaves paper☆12Updated last year
- Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)☆23Updated 11 months ago
- SGX protected filesystem demo☆12Updated 7 years ago
- ☆26Updated last year
- Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called …☆41Updated last month
- A minimal bootstrap scheme for fast boot of serverless microVMs with AMD Secure Encrypted Virtualization (SEV)☆10Updated 9 months ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆9Updated last year
- WaTZ: A Trusted WebAssembly Runtime Environment with Remote Attestation for TrustZone.☆22Updated 5 months ago
- ☆30Updated 2 years ago
- The nbench benchmark ported to SGX.☆14Updated 5 years ago
- A general cross-architecture C/C++ hotpatch solution using customized userspace eBPF runtime. One patch release can fix the same vulnera…☆25Updated last year
- ☆10Updated this week
- A library and an application to provide migratable primitives for SGX enclaves.☆22Updated 4 years ago
- ☆19Updated this week
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆18Updated last year
- SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems☆16Updated 8 months ago
- The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper☆52Updated last year