benhaz1024 / raspbian-tee
Raspbian with OP-TEE support.
☆24Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for raspbian-tee
- ☆29Updated last year
- COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020☆26Updated last year
- ☆21Updated last year
- High-level performance analyser toolkit for Intel SGX☆39Updated 5 years ago
- Low-TCB Linux Applications with SGX Enclaves☆35Updated 5 years ago
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆52Updated 5 years ago
- ☆24Updated last year
- Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)☆13Updated 4 years ago
- Derived from CAT-SGX and elf-respect: Practical and Efficient in-Enclave Verification of Privacy Compliance☆41Updated 2 years ago
- ☆30Updated 2 years ago
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆19Updated last year
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆30Updated 6 years ago
- runs several layers of a deep learning model in TrustZone☆85Updated 3 months ago
- GitHub (mirror) repository for the Mastik toolkit, written by Yuval Yarom https://cs.adelaide.edu.au/~yval/Mastik/☆35Updated 5 years ago
- SGX protected filesystem demo☆12Updated 7 years ago
- A "real" remote attestation flamework of Intel SGX☆23Updated 6 years ago
- ☆30Updated 2 years ago
- ☆18Updated last year
- SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems☆16Updated 9 months ago
- ☆93Updated 2 years ago
- Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)☆25Updated 11 months ago
- ☆18Updated 2 years ago
- ☆26Updated last year
- SGX Tutorial at CCS17: SGX Security and Privacy☆84Updated 7 years ago
- The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper☆52Updated last year
- On the TOCTOU Problem in Remote Attestation☆13Updated 5 months ago
- This repo is used for managing conversations about Veraison features☆52Updated 10 months ago
- Stress-SGX is a fork of stress-ng that allows to put Intel SGX enclaves under high load.☆16Updated 6 years ago
- ExitLess services for SGX enclaves☆33Updated 5 years ago
- Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called …☆42Updated last week