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 week
• islet-project / islet
  An on-device confidential computing platform
  ☆133Updated 3 weeks ago
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆71Updated last year
• sslab-gatech / open-tdx
  ☆43Updated 2 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
• JamesMenetrey / unine-watz
  WaTZ: A Trusted WebAssembly Runtime Environment with Remote Attestation for TrustZone.
  ☆31Updated last year
• cc-api / container-integrity-measurement-agent
  Build Trusted Chain for Cloud Native in Confidential Computing Envrionment
  ☆19Updated 10 months ago
• formosa-crypto / libjade
  Crypto library
  ☆67Updated last month
• veracruz-project / veracruz
  Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
  ☆200Updated 9 months ago
• virtee / sev-snp-measure
  Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing
  ☆71Updated 3 months ago
• Inria-Prosecco / reftls
  ☆33Updated 3 months ago
• Ko- / riscvcrypto
  Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture
  ☆31Updated 5 years ago
• SRI-CSL / NTT
  An Implementation of the Number Theoretic Transform
  ☆51Updated 2 years ago
• CCC-Attestation / interoperable-ra-tls
  Design documents and interoperability tests for Interoperable RA-TLS projects
  ☆13Updated 2 years ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆497Updated last month
• ahoi-attacks / heckler
  Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)
  ☆34Updated last year
• CCC-Attestation / meetings
  Meeting materials
  ☆17Updated last month
• AMDESE / sev-guest
  Tools, scripts, and configuration files necessary to demonstrate an end-to-end remote attestation example with SEV-SNP.
  ☆57Updated last year
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆379Updated this week
• ahoi-attacks / WeSee
  Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)
  ☆26Updated last year
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆324Updated this week
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 8 years ago
• jovanbulck / sgx-tutorial-space18
  Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves
  ☆54Updated 9 months ago
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆63Updated last month
• secure-foundations / veri-titan
  Verifying OpenTitan
  ☆28Updated 2 years 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…
  ☆44Updated last year
• cispa / CacheWarp
  Proof-of-concept implementation for the paper "CacheWarp: Software-based Fault Injection using Selective State Reset" (USENIX Security 20…
  ☆63Updated last year
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆54Updated 6 years ago
• sslab-gatech / t-sgx
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆27Updated 8 years ago