AuthenticExecution / .githubLinks
Artifacts and documentation of the TOPS journal paper End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs
☆12Updated 2 years ago
Alternatives and similar repositories for .github
Users that are interested in .github are comparing it to the libraries listed below
Sorting:
- This repo is used for managing conversations about Veraison features☆53Updated 2 years ago
- On the TOCTOU Problem in Remote Attestation☆15Updated last year
- SQLite database inside a secure Intel SGX enclave (Linux)☆60Updated 7 years ago
- CoRIM and CoMID manipulation library☆21Updated last month
- RATS architecture based TLS using librats☆50Updated 3 months ago
- mbedtls-SGX: a SGX-friendly TLS stack (ported from mbedtls)☆91Updated 6 years ago
- ☆112Updated 3 years ago
- AECS(Attestation based Enclave Configuration Service)☆14Updated 2 years ago
- Intel® Software Guard Extensions SSL☆239Updated this week
- Miscellaneous materials related to the "attested TLS" proof-of-concept☆21Updated 2 years ago
- ☆21Updated 3 years ago
- Remote attestation for Trusted and Confidential Computing platforms (TPM, AMD SEV-SNP, Intel SGX/TDX)☆20Updated this week
- Raspbian with OP-TEE support.☆30Updated 6 years ago
- ☆78Updated 3 years ago
- SGX Tutorial at CCS17: SGX Security and Privacy☆86Updated 8 years ago
- Jinzhao Attest provides unified attestation workflow for TEE compatibility, usability and security.☆36Updated 2 years ago
- A Docker image with Intel SGX support.☆70Updated 6 years ago
- Tools, scripts, and configuration files necessary to demonstrate an end-to-end remote attestation example with SEV-SNP.☆57Updated 2 years ago
- ☆179Updated 3 years ago
- SGX-LKL Library OS for running Linux applications inside of Intel SGX enclaves☆269Updated 3 years ago
- ☆14Updated this week
- For paper Container-IMA: https://www.usenix.org/system/files/raid2019-luo.pdf☆12Updated 5 years ago
- An End-to-End Distributed and Scalable Cloud KMS (Key Management System) built on top of Intel SGX enclave-based HSM (Hardware Security M…☆168Updated last year
- Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing☆71Updated 4 months ago
- Formal specification of attestation mechanisms in Confidential Computing☆24Updated 2 months ago
- 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 2 weeks ago
- A curated list of SGX code and resources.☆246Updated last year
- The Confidential Computing Certifier Framework consists of a client API called the Certifier-API and server-based policy evaluation calle…☆72Updated last week
- ☆16Updated 3 months ago
- A library and an application to provide migratable primitives for SGX enclaves.☆22Updated 5 years ago