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
• ahoi-attacks / WeSee
  Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)
  ☆24Updated last year
• sslab-gatech / open-tdx
  ☆38Updated last week
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆53Updated 6 years ago
• kgoldman / acs
  TPM attestation client and server for TPM 20. and TPM 1.2, including enrollment, attestation, and a web UI.
  ☆16Updated 7 months ago
• 0tcb / TAP
  ☆21Updated 2 years ago
• JamesMenetrey / unine-watz
  WaTZ: A Trusted WebAssembly Runtime Environment with Remote Attestation for TrustZone.
  ☆31Updated last year
• CactiLab / BYOTee-Build-Your-Own-TEEs
  ☆23Updated last year
• ahoi-attacks / heckler
  Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)
  ☆33Updated last year
• 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
• secure-foundations / veri-titan
  Verifying OpenTitan
  ☆26Updated 2 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆41Updated 8 years ago
• CCC-Attestation / meetings
  Meeting materials
  ☆16Updated last month
• jovanbulck / sgx-tutorial-space18
  Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves
  ☆51Updated 6 months ago
• islet-project / islet
  An on-device confidential computing platform
  ☆124Updated this week
• ibm-research / speculator
  Tool to Analyze Speculative Execution Attacks and Mitigations
  ☆55Updated 3 years ago
• jasonyu1996 / elasticlave
  ☆24Updated 6 months ago
• cispa / CacheWarp
  Proof-of-concept implementation for the paper "CacheWarp: Software-based Fault Injection using Selective State Reset" (USENIX Security 20…
  ☆63Updated last year
• virtee / sev-snp-measure
  Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing
  ☆69Updated last month
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆70Updated last year
• anishathalye / knox
  A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏
  ☆35Updated 7 months ago
• cc-api / container-integrity-measurement-agent
  Build Trusted Chain for Cloud Native in Confidential Computing Envrionment
  ☆17Updated 6 months ago
• keystone-enclave / keystone-demo
  Demo host and enclave applications exercising most functionality.
  ☆31Updated 2 years ago
• ilebedev / sanctum
  The MIT Sanctum processor top-level project
  ☆30Updated 5 years ago
• inclavare-containers / librats
  Low level attester and verifier drivers for multiple TEEs
  ☆24Updated last year
• SRI-CSL / NTT
  An Implementation of the Number Theoretic Transform
  ☆48Updated 2 years ago
• Inria-Prosecco / reftls
  ☆33Updated last year
• crocs-muni / ct-tools
  A repository of tools for verifying constant-timeness
  ☆18Updated 7 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
• microwalk-project / Microwalk
  A microarchitectural leakage detection framework using dynamic instrumentation.
  ☆76Updated 2 months ago