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 last month
• islet-project / islet
  An on-device confidential computing platform
  ☆134Updated last month
• martonbognar / gap-attacks
  The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Executi…
  ☆16Updated 3 years ago
• CactiLab / BYOTee-Build-Your-Own-TEEs
  ☆26Updated 2 years ago
• JamesMenetrey / unine-watz
  WaTZ: A Trusted WebAssembly Runtime Environment with Remote Attestation for TrustZone.
  ☆32Updated last year
• TF-RMM / tf-rmm
  Reference implementation of Arm-CCA RMM specification
  ☆70Updated last week
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆54Updated 6 years ago
• CCC-Attestation / meetings
  Meeting materials
  ☆18Updated 3 weeks ago
• ahoi-attacks / WeSee
  Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)
  ☆26Updated last year
• Fraunhofer-AISEC / cmc
  Remote attestation for Trusted and Confidential Computing platforms (TPM, AMD SEV-SNP, Intel SGX/TDX)
  ☆20Updated last week
• virtee / sev-snp-measure
  Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing
  ☆72Updated 4 months ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆40Updated 8 years ago
• sectrs-acai / acai
  Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)
  ☆26Updated 2 years ago
• crocs-muni / ct-tools
  A repository of tools for verifying constant-timeness
  ☆19Updated last week
• sslab-gatech / open-tdx
  ☆43Updated 3 months ago
• cc-api / container-integrity-measurement-agent
  Build Trusted Chain for Cloud Native in Confidential Computing Envrionment
  ☆19Updated 11 months ago
• riscv-admin / iopmp
  Group administration repository for Tech: IOPMP Task Group
  ☆13Updated last year
• sslab-gatech / t-sgx
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆26Updated 8 years ago
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆71Updated last year
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆110Updated 3 years ago
• Inria-Prosecco / reftls
  ☆34Updated 4 months ago
• ahoi-attacks / heckler
  Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)
  ☆34Updated last year
• jasonyu1996 / elasticlave
  ☆28Updated 11 months ago
• kemtls / Tamarin-multi-stage-model
  Tamarin proof for the KEMTLS protocol using the multi-stage AKE model
  ☆13Updated 2 years ago
• microwalk-project / Microwalk
  A microarchitectural leakage detection framework using dynamic instrumentation.
  ☆80Updated 2 months ago
• ccc-spdm-tools / spdm-rs
  A rust implementation for DMTF SPDM protocol to support Confidential Computing
  ☆50Updated this week
• 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…
  ☆44Updated last year
• 0tcb / TAP
  ☆22Updated 3 years ago
• secure-foundations / veri-titan
  Verifying OpenTitan
  ☆28Updated 2 years ago