Alternatives and similar repositories for formal-spec-TEE:

Users that are interested in formal-spec-TEE are comparing it to the libraries listed below

• intel / ACON
  ☆57Updated 4 months ago
• CCC-Attestation / attested-tls-poc
  Miscellaneous materials related to the "attested TLS" proof-of-concept
  ☆16Updated last year
• virtee / sev-snp-measure
  Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing
  ☆57Updated 7 months ago
• intel / trustauthority-client-for-go
  ☆22Updated this week
• virtee / snpguest
  A CLI tool for interacting with SEV-SNP guest environment
  ☆54Updated last week
• confidential-containers / trustee
  Attestation and Secret Delivery Components
  ☆79Updated this week
• CCC-Attestation / interoperable-ra-tls
  Design documents and interoperability tests for Interoperable RA-TLS projects
  ☆11Updated last year
• AMDESE / sev-guest
  Tools, scripts, and configuration files necessary to demonstrate an end-to-end remote attestation example with SEV-SNP.
  ☆56Updated last year
• veraison / veraison
  This repo is used for managing conversations about Veraison features
  ☆52Updated last year
• ccc-certifier-framework / certifier-framework-for-confidential-computing
  The Confidential Computing Certifier Framework consists of a client API called the Certifier-API and server-based policy evaluation calle…
  ☆57Updated last month
• google / go-sev-guest
  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…
  ☆55Updated last week
• confidential-containers / enclave-cc
  Process-based Confidential Container Runtime
  ☆79Updated this week
• AMDESE / sev-tool
  AMD SEV Tool
  ☆81Updated last year
• virtee / sevctl
  Administrative utility for AMD SEV
  ☆51Updated 3 months ago
• CCC-Attestation / meetings
  Meeting materials
  ☆16Updated last week
• intel / MigTD
  ☆22Updated 2 weeks ago
• coconut-svsm / svsm
  COCONUT-SVSM
  ☆135Updated this week
• confidential-containers / guest-components
  Confidential Containers Guest Tools and Components
  ☆85Updated this week
• canonical / tdx
  Intel confidential computing - TDX
  ☆130Updated last week
• confidential-containers / attestation-agent
  ☆38Updated last year
• virtee / snphost
  Administrative utility for SEV-SNP
  ☆27Updated this week
• inclavare-containers / rats-tls
  RATS architecture based TLS using librats
  ☆33Updated 10 months ago
• veraison / services
  Attestation verification services based on Veraison components
  ☆27Updated last week
• CCC-Attestation / rats-cheatsheet
  IETF RATS terms cheat sheet
  ☆10Updated last year
• cloud-security-research / sgx-ra-tls
  ☆113Updated 2 years ago
• confidential-containers / attestation-service
  Generic Attestation Service
  ☆41Updated last year
• intel / vtpm-td
  ☆38Updated this week
• intel / tdx-module
  Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called …
  ☆53Updated 2 months ago
• confidential-computing / governance
  Confidential Computing Consortium Governance Documents
  ☆74Updated this week
• gramineproject / gramine-tdx
  A library OS for Linux multi-process applications, with Intel TDX support (experimental)
  ☆27Updated 4 months ago