baidu / sgxrayLinks
SGXRay: a bounded verifier for Intel SGX enclaves
☆13Updated 4 years ago
Alternatives and similar repositories for sgxray
Users that are interested in sgxray are comparing it to the libraries listed below
Sorting:
- SGX从入门到放弃☆352Updated 3 years ago
- Practical and Efficient in-TEE Verification of Privacy Compliance☆46Updated last year
- Jinzhao Attest provides unified attestation workflow for TEE compatibility, usability and security.☆36Updated 2 years ago
- ☆319Updated this week
- SQLite database inside a secure Intel SGX enclave (Linux)☆60Updated 7 years ago
- ☆179Updated 3 years ago
- The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper☆56Updated 2 years ago
- Jinzhao Disk (JinDisk) is a log-structured secure block device for TEEs. This repo is JinDisk's Linux version.☆36Updated 2 years ago
- With a goal to make confidential computing easier, SOFAEnclave is a software stack consisting of key technologies such as HW/SW enclave i…☆18Updated 2 years ago
- A curated list of open-source projects that help exploit Intel SGX technology☆421Updated this week
- Edgeless RT is an SDK and a runtime for Intel SGX. It combines top-notch Go support with simplicity, robustness and a small TCB. Developi…☆142Updated 3 weeks ago
- Next-Gen Occlum, a work-in-progress fork of Occlum that is optimized for the next-generation of Intel SGX (on Xeon SP processors)☆35Updated 2 years ago
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆55Updated 10 months ago
- Example of Linux SGX remote attestation☆64Updated 7 years ago
- Example on how to use the Intel SGX implementation of AES-GCM☆29Updated 6 years ago
- SGX protected filesystem demo☆12Updated 8 years ago
- OpenSSL library for SGX application☆22Updated 3 years ago
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆22Updated 2 years ago
- SGX Tutorial at CCS17: SGX Security and Privacy☆86Updated 8 years ago
- An Open and Cross-platform Trusted Execution Environment.☆150Updated last year
- ☆32Updated 3 years ago
- ☆21Updated 3 years ago
- sgxtop and sgxstat utilities for monitoring SGX driver statistics☆26Updated 5 years ago
- The world of forked crates☆22Updated 3 years ago
- Apache Teaclave (incubating) Java TEE SDK is an open source universal confidential computing framework, making java computation on privac…☆61Updated 6 months ago
- Low-TCB Linux Applications with SGX Enclaves☆37Updated 6 years ago
- Tensors and Dynamic neural networks in Python with strong GPU acceleration☆37Updated last year
- AECS(Attestation based Enclave Configuration Service)☆14Updated 2 years ago
- Stress-SGX is a fork of stress-ng that allows to put Intel SGX enclaves under high load.☆16Updated 7 years ago
- A curated list of SGX code and resources.☆246Updated last year