Alternatives and similar repositories for vrased

Users that are interested in vrased are comparing it to the libraries listed below

• sprout-uci / RATA
  On the TOCTOU Problem in Remote Attestation
  ☆15Updated last year
• kgoldman / acs
  TPM attestation client and server for TPM 20. and TPM 1.2, including enrollment, attestation, and a web UI.
  ☆16Updated 9 months ago
• martonbognar / gap-attacks
  The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Executi…
  ☆15Updated 3 years ago
• CactiLab / BYOTee-Build-Your-Own-TEEs
  ☆24Updated last year
• veraison / corim
  CoRIM and CoMID manipulation library
  ☆18Updated this week
• Fraunhofer-AISEC / cmc
  The Connector Measurement Component (CMC) repository provides tools and software to enable remote attestation of computing platforms.
  ☆19Updated this week
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆71Updated last year
• virtee / sev-snp-measure
  Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing
  ☆69Updated last month
• sev-step / sev-step
  This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev v…
  ☆43Updated last year
• ahoi-attacks / WeSee
  Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)
  ☆25Updated 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…
  ☆71Updated last month
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆60Updated 3 weeks ago
• veraison / veraison
  This repo is used for managing conversations about Veraison features
  ☆53Updated last year
• ccc-spdm-tools / spdm-rs
  A rust implementation for DMTF SPDM protocol to support Confidential Computing
  ☆43Updated last week
• CCC-Attestation / meetings
  Meeting materials
  ☆16Updated last week
• jasonyu1996 / elasticlave
  ☆26Updated 8 months ago
• JamesMenetrey / unine-watz
  WaTZ: A Trusted WebAssembly Runtime Environment with Remote Attestation for TrustZone.
  ☆31Updated last year
• crocs-muni / ct-tools
  A repository of tools for verifying constant-timeness
  ☆18Updated 8 months ago
• jovanbulck / sgx-tutorial-space18
  Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves
  ☆53Updated 7 months ago
• islet-project / islet
  An on-device confidential computing platform
  ☆125Updated 2 weeks ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆53Updated 6 years ago
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆57Updated 5 months ago
• CCC-Attestation / formal-spec-TEE
  Formal specification of attestation mechanisms in Confidential Computing
  ☆22Updated last year
• 0tcb / TAP
  ☆21Updated 2 years ago
• intel / MigTD
  ☆42Updated this week
• ahoi-attacks / heckler
  Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)
  ☆34Updated last year
• intel / tdx-module
  Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called …
  ☆80Updated 2 months ago
• cc-api / container-integrity-measurement-agent
  Build Trusted Chain for Cloud Native in Confidential Computing Envrionment
  ☆18Updated 8 months ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆41Updated 8 years ago
• veracruz-project / veracruz
  Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
  ☆198Updated 7 months ago