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
- Jinzhao Attest provides unified attestation workflow for TEE compatibility, usability and security.☆36Updated 2 years ago
- Low-TCB Linux Applications with SGX Enclaves☆37Updated 6 years 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
- ☆317Updated this week
- SQLite database inside a secure Intel SGX enclave (Linux)☆60Updated 7 years ago
- ☆179Updated 3 years ago
- A curated list of SGX code and resources.☆244Updated last year
- Practical and Efficient in-TEE Verification of Privacy Compliance☆45Updated last year
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆54Updated 9 months ago
- The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper☆57Updated 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
- TWINE: An Embedded Trusted Runtime for WebAssembly. This is the repository that contains the source code of Twine and the related benchma…☆43Updated last year
- Apache Teaclave (incubating) Java TEE SDK is an open source universal confidential computing framework, making java computation on privac…☆60Updated 5 months ago
- Jinzhao Disk (JinDisk) is a log-structured secure block device for TEEs. This repo is JinDisk's Linux version.☆36Updated 2 years ago
- Example of Linux SGX remote attestation☆64Updated 7 years ago
- Microsoft Azure Attestation is a solution for attesting Trusted Execution Environments (TEEs)☆36Updated 9 months ago
- SGX Tutorial at CCS17: SGX Security and Privacy☆86Updated 8 years ago
- ☆21Updated 3 years ago
- Example on how to use the Intel SGX implementation of AES-GCM☆29Updated 6 years ago
- Synced with SGX101 gitbook.☆31Updated 2 years ago
- ☆61Updated last year
- A "real" remote attestation flamework of Intel SGX☆24Updated 7 years ago
- Confidential Computing Zoo provides confidential computing solutions based on Intel SGX, TDX, HEXL, etc. technologies.☆345Updated 2 weeks ago
- PoC exploits against various SGX enclaves☆14Updated 3 years ago
- Secure SQLite Database entirely inside a secure Intel SGX enclave (Linux).☆14Updated 5 years ago
- A Docker image with Intel SGX support.☆70Updated 6 years ago
- mbedtls-SGX: a SGX-friendly TLS stack (ported from mbedtls)☆91Updated 6 years ago
- An Open and Cross-platform Trusted Execution Environment.☆150Updated last year
- ☆11Updated 3 months ago