CCC-Attestation / formal-spec-TEELinks
Formal specification of attestation mechanisms in Confidential Computing
☆24Updated last month
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:
- Miscellaneous materials related to the "attested TLS" proof-of-concept☆21Updated 2 years 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 this week
- RATS architecture based TLS using librats☆47Updated 2 months ago
- A CLI tool for interacting with SEV-SNP guest environment☆83Updated last month
- Attestation and Secret Delivery Components☆122Updated last week
- ☆58Updated 8 months ago
- 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…☆80Updated last month
- 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…☆67Updated last month
- IETF RATS terms cheat sheet☆12Updated 2 years ago
- Administrative utility for SEV-SNP☆38Updated 2 weeks ago
- ☆61Updated 3 months ago
- Tools and runtime for launching unmodified container images in Trusted Execution Environments☆153Updated 4 months ago
- Tools, scripts, and configuration files necessary to demonstrate an end-to-end remote attestation example with SEV-SNP.☆57Updated last year
- AMD SEV Tool☆87Updated 2 years ago
- This repo is used for managing conversations about Veraison features☆53Updated last year
- Process-based Confidential Container Runtime☆85Updated 2 months ago
- Generic Attestation Service☆43Updated 2 years ago
- CoRIM and CoMID manipulation library☆20Updated last week
- Reference code for creating and verifying a GCE firmware signed reference value message.☆23Updated last month
- Go packages built on go-tpm providing a high-level API for using TPMs☆275Updated last week
- Gramine Shielded Containers (Docker integration)☆58Updated this week
- The Confidential Computing Certifier Framework consists of a client API called the Certifier-API and server-based policy evaluation calle…☆71Updated 2 months ago
- Administrative utility for AMD SEV☆63Updated 6 months ago
- Post-quantum cryptography certificates☆75Updated last month
- Meeting materials☆16Updated 3 weeks ago
- Confidential Containers Guest Tools and Components☆109Updated this week
- Efficient TLS termination inside Intel SGX enclaves for existing applications☆109Updated 3 years ago
- Attestation verification services based on Veraison components☆38Updated 3 weeks ago
- Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing☆71Updated 2 months ago
- Experimental implementation of KEMTLS in Rustls☆33Updated last month