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
• 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
• ahoi-attacks / WeSee
  Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)
  ☆25Updated 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
• 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
  ☆70Updated 2 months ago
• 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
• sectrs-acai / acai
  Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)
  ☆26Updated last year
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆486Updated last week
• ahoi-attacks / heckler
  Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)
  ☆34Updated last year
• secure-foundations / veri-titan
  Verifying OpenTitan
  ☆27Updated 2 years ago
• CactiLab / BYOTee-Build-Your-Own-TEEs
  ☆25Updated 2 years ago
• sslab-gatech / t-sgx
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆27Updated 8 years ago
• 0tcb / TAP
  ☆22Updated 2 years ago
• sslab-gatech / open-tdx
  ☆42Updated last month
• jasonyu1996 / elasticlave
  ☆26Updated 8 months ago
• jovanbulck / sgx-tutorial-space18
  Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves
  ☆54Updated 8 months ago
• shwetasshinde24 / Panoply
  Low-TCB Linux Applications with SGX Enclaves
  ☆37Updated 6 years ago
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆59Updated 2 weeks ago
• ccc-spdm-tools / spdm-rs
  A rust implementation for DMTF SPDM protocol to support Confidential Computing
  ☆47Updated this week
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆53Updated 6 years ago
• Inria-Prosecco / reftls
  ☆33Updated last month
• manatee-project / manatee
  ☆59Updated 2 months ago
• islet-project / islet
  An on-device confidential computing platform
  ☆131Updated this week
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆58Updated last week
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆109Updated 3 years ago
• formosa-crypto / libjade
  Crypto library
  ☆66Updated this week
• crocs-muni / ct-tools
  A repository of tools for verifying constant-timeness
  ☆18Updated 9 months ago
• cc-api / container-integrity-measurement-agent
  Build Trusted Chain for Cloud Native in Confidential Computing Envrionment
  ☆18Updated 9 months ago
• CCC-Attestation / meetings
  Meeting materials
  ☆16Updated this week