CCC-Attestation / formal-spec-TEELinks
Formal specification of attestation mechanisms in Confidential Computing
☆21Updated 9 months ago
Alternatives and similar repositories for formal-spec-TEE
Users that are interested in formal-spec-TEE are comparing it to the libraries listed below
Sorting:
- ☆58Updated 2 months ago
- go-sev-guest offers a library to wrap the /dev/sev-guest device in Linux, as well as a library for attestation verification of fundamenta…☆61Updated 3 weeks ago
- IETF RATS terms cheat sheet☆11Updated 2 years ago
- Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing☆63Updated last year
- A CLI tool for interacting with SEV-SNP guest environment☆67Updated last week
- Miscellaneous materials related to the "attested TLS" proof-of-concept☆19Updated last year
- Tools, scripts, and configuration files necessary to demonstrate an end-to-end remote attestation example with SEV-SNP.☆57Updated last year
- Meeting materials☆15Updated last week
- ☆39Updated last week
- Design documents and interoperability tests for Interoperable RA-TLS projects☆11Updated last year
- RATS Architecture☆17Updated 9 months ago
- Attestation and Secret Delivery Components☆95Updated this week
- This repo is used for managing conversations about Veraison features☆52Updated last year
- The Confidential Computing Certifier Framework consists of a client API called the Certifier-API and server-based policy evaluation calle…☆65Updated last week
- Administrative utility for SEV-SNP☆32Updated last week
- Confidential Computing Consortium Governance Documents☆79Updated last week
- COCONUT-SVSM☆157Updated this week
- ☆26Updated 3 weeks ago
- Administrative utility for AMD SEV☆57Updated 3 weeks ago
- ☆40Updated this week
- The Connector Measurement Component (CMC) repository provides tools and software to enable remote attestation of computing platforms.☆17Updated last week
- ☆8Updated last week
- An on-device confidential computing platform☆116Updated last week
- go-tdx-guest offers a library to wrap the /dev/tdx-guest device in Linux, as well as a library for attestation verification of fundamenta…☆69Updated last month
- RATS architecture based TLS using librats☆38Updated 2 months ago
- Confidential VM Platform Guest attestation sample apps☆68Updated 2 months ago
- Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called …☆64Updated last month
- Gramine Shielded Containers (Docker integration)☆53Updated last week
- AMD SEV Tool☆84Updated last year
- Intel confidential computing - TDX☆166Updated this week