sprout-uci / RATA
On the TOCTOU Problem in Remote Attestation
☆13Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for RATA
- ☆17Updated 2 years ago
- TPM attestation client and server for TPM 20. and TPM 1.2, including enrollment, attestation, and a web UI.☆13Updated last month
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆27Updated 7 years ago
- ☆29Updated last year
- ☆18Updated 2 years ago
- Simple password-wallet application based on Intel SGX for linux.☆17Updated 4 years ago
- SGX protected filesystem demo☆12Updated 7 years ago
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆30Updated 6 years ago
- ☆18Updated last year
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆52Updated 5 years ago
- Minimal RISC Extensions for Isolated Execution☆50Updated 5 years ago
- High-level performance analyser toolkit for Intel SGX☆39Updated 5 years ago
- A library and an application to provide migratable primitives for SGX enclaves.☆22Updated 4 years ago
- A rust implementation for DMTF SPDM protocol to support Confidential Computing☆21Updated this week
- ☆21Updated last year
- SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems☆16Updated 9 months ago
- Low-TCB Linux Applications with SGX Enclaves☆35Updated 5 years ago
- Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing☆55Updated 5 months ago
- This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev v…☆31Updated 9 months ago
- ☆30Updated 2 years ago
- GitHub (mirror) repository for the Mastik toolkit, written by Yuval Yarom https://cs.adelaide.edu.au/~yval/Mastik/☆35Updated 5 years ago
- Raspbian with OP-TEE support.☆24Updated 5 years ago
- Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)☆25Updated 11 months ago
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆42Updated 8 years ago
- Commodity Obfuscation Engine for Intel SGX☆20Updated 5 years ago
- Scone Website☆12Updated last week
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 3 years ago
- Secure auditing of Internet services with Intel SGX☆22Updated 3 years ago
- SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs☆47Updated 6 years ago
- Implementation of differential fuzz testing for TLS handshake messages☆12Updated 3 years ago