Alternatives and similar repositories for formal-spec-TEE:

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

• virtee / snpguest
  A CLI tool for interacting with SEV-SNP guest environment
  ☆63Updated last week
• CCC-Attestation / attested-tls-poc
  Miscellaneous materials related to the "attested TLS" proof-of-concept
  ☆19Updated last year
• virtee / sev-snp-measure
  Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing
  ☆63Updated 10 months ago
• CCC-Attestation / rats-cheatsheet
  IETF RATS terms cheat sheet
  ☆11Updated 2 years ago
• intel / ACON
  ☆58Updated last month
• CCC-Attestation / interoperable-ra-tls
  Design documents and interoperability tests for Interoperable RA-TLS projects
  ☆11Updated 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…
  ☆61Updated this week
• 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…
  ☆138Updated 3 months ago
• 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…
  ☆59Updated last week
• CCC-Attestation / meetings
  Meeting materials
  ☆16Updated 2 months ago
• virtee / snphost
  Administrative utility for SEV-SNP
  ☆32Updated 3 weeks ago
• coconut-svsm / svsm
  COCONUT-SVSM
  ☆150Updated 2 weeks ago
• AMDESE / sev-guest
  Tools, scripts, and configuration files necessary to demonstrate an end-to-end remote attestation example with SEV-SNP.
  ☆57Updated last year
• ietf-rats-wg / architecture
  RATS Architecture
  ☆17Updated 7 months ago
• veraison / veraison
  This repo is used for managing conversations about Veraison features
  ☆52Updated last year
• intel / trustauthority-client-for-go
  ☆27Updated 2 weeks ago
• Fraunhofer-AISEC / cmc
  The Connector Measurement Component (CMC) repository provides tools and software to enable remote attestation of computing platforms.
  ☆17Updated this week
• AMDESE / sev-tool
  AMD SEV Tool
  ☆83Updated last year
• confidential-computing / governance
  Confidential Computing Consortium Governance Documents
  ☆78Updated last month
• veraison / corim
  CoRIM and CoMID manipulation library and CLI
  ☆11Updated this week
• inclavare-containers / rats-tls
  RATS architecture based TLS using librats
  ☆35Updated 2 weeks ago
• manatee-project / manatee
  ☆33Updated 2 weeks ago
• confidential-containers / enclave-cc
  Process-based Confidential Container Runtime
  ☆81Updated 3 weeks ago
• confidential-containers / trustee
  Attestation and Secret Delivery Components
  ☆92Updated this week
• virtee / sevctl
  Administrative utility for AMD SEV
  ☆55Updated 2 weeks ago
• intel / MigTD
  ☆31Updated this week
• cloud-security-research / sgx-ra-tls
  ☆112Updated 2 years ago
• deislabs / mystikos
  Tools and runtime for launching unmodified container images in Trusted Execution Environments
  ☆146Updated 2 months ago
• intel / trustauthority-client-for-python
  ☆9Updated last month
• canonical / tdx
  Intel confidential computing - TDX
  ☆159Updated this week