Alternatives and similar repositories for formal-spec-TEE

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

• edgelesssys / edgelessrt
  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…
  ☆143Updated last week
• CCC-Attestation / attested-tls-poc
  Miscellaneous materials related to the "attested TLS" proof-of-concept
  ☆21Updated 2 years ago
• virtee / snpguest
  A CLI tool for interacting with SEV-SNP guest environment
  ☆84Updated last week
• 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…
  ☆67Updated 2 months ago
• veraison / veraison
  This repo is used for managing conversations about Veraison features
  ☆53Updated 2 years ago
• confidential-containers / trustee
  Attestation and Secret Delivery Components
  ☆134Updated last week
• intel / ACON
  ☆58Updated 10 months ago
• virtee / snphost
  Administrative utility for SEV-SNP
  ☆38Updated 3 weeks ago
• google / go-tdx-guest
  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…
  ☆84Updated 3 weeks ago
• microsoft / mystikos
  Tools and runtime for launching unmodified container images in Trusted Execution Environments
  ☆152Updated 5 months ago
• AMDESE / sev-guest
  Tools, scripts, and configuration files necessary to demonstrate an end-to-end remote attestation example with SEV-SNP.
  ☆57Updated 2 years ago
• inclavare-containers / rats-tls
  RATS architecture based TLS using librats
  ☆50Updated 3 months ago
• manatee-project / manatee
  ☆63Updated 4 months ago
• Fraunhofer-AISEC / cmc
  Remote attestation for Trusted and Confidential Computing platforms (TPM, AMD SEV-SNP, Intel SGX/TDX)
  ☆19Updated last week
• 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…
  ☆72Updated this week
• edgelesssys / marblerun
  MarbleRun is the control plane for confidential computing. Deploy, scale, and verify your confidential microservices on vanilla Kubernete…
  ☆270Updated last week
• veraison / corim
  CoRIM and CoMID manipulation library
  ☆21Updated last month
• CCC-Attestation / meetings
  Meeting materials
  ☆18Updated last week
• AMDESE / sev-tool
  AMD SEV Tool
  ☆87Updated 2 years ago
• veraison / services
  Attestation verification services based on Veraison components
  ☆40Updated last week
• confidential-containers / attestation-service
  Generic Attestation Service
  ☆43Updated 2 years ago
• lsds / TaLoS
  Efficient TLS termination inside Intel SGX enclaves for existing applications
  ☆109Updated 4 years ago
• gramineproject / gsc
  Gramine Shielded Containers (Docker integration)
  ☆58Updated 3 weeks ago
• Azure / confidential-computing-cvm-guest-attestation
  Confidential VM Platform Guest attestation sample apps
  ☆76Updated 4 months ago
• virtee / sevctl
  Administrative utility for AMD SEV
  ☆64Updated 8 months ago
• confidential-computing / governance
  Confidential Computing Consortium Governance Documents
  ☆82Updated this week
• canonical / tdx
  Intel confidential computing - TDX
  ☆236Updated 2 months ago
• ietf-rats-wg / architecture
  RATS Architecture
  ☆17Updated 3 months ago
• google / go-tpm-tools
  Go packages built on go-tpm providing a high-level API for using TPMs
  ☆280Updated last week
• veracruz-project / veracruz
  Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
  ☆199Updated 10 months ago