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
  ☆14Updated 10 months ago
• kgoldman / acs
  TPM attestation client and server for TPM 20. and TPM 1.2, including enrollment, attestation, and a web UI.
  ☆14Updated 2 months ago
• CactiLab / BYOTee-Build-Your-Own-TEEs
  ☆21Updated last year
• ahoi-attacks / WeSee
  Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)
  ☆24Updated 11 months ago
• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified…
  ☆45Updated 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…
  ☆39Updated last year
• jasonyu1996 / elasticlave
  ☆23Updated 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…
  ☆13Updated 2 years ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆52Updated 5 years ago
• ahoi-attacks / heckler
  Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)
  ☆29Updated 11 months ago
• jovanbulck / sgx-tutorial-space18
  Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves
  ☆52Updated 3 weeks ago
• CCC-Attestation / attested-tls-poc
  Miscellaneous materials related to the "attested TLS" proof-of-concept
  ☆18Updated last year
• anishathalye / knox
  A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏
  ☆33Updated 2 months ago
• ccc-spdm-tools / spdm-rs
  A rust implementation for DMTF SPDM protocol to support Confidential Computing
  ☆27Updated last week
• ibm-research / speculator
  Tool to Analyze Speculative Execution Attacks and Mitigations
  ☆54Updated 3 years ago
• JamesMenetrey / unine-watz
  WaTZ: A Trusted WebAssembly Runtime Environment with Remote Attestation for TrustZone.
  ☆27Updated 10 months ago
• salrashid123 / go_tpm_remote_attestation
  TPM Remote Attestation protocol using go-tpm and gRPC
  ☆23Updated 2 months ago
• inclavare-containers / librats
  Low level attester and verifier drivers for multiple TEEs
  ☆23Updated 10 months ago
• sam1013 / timberv-riscv-tools
  RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)
  ☆21Updated 5 years ago
• sectrs-acai / acai
  Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)
  ☆26Updated last year
• CybersecurityUnitn / PISTIS
  Trusted Computing Architecture for Low-end Embedded Systems
  ☆18Updated 5 months ago
• secure-foundations / veri-titan
  Verifying OpenTitan
  ☆25Updated last year
• Ko- / riscvcrypto
  Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture
  ☆31Updated 4 years ago
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆70Updated 8 months ago
• kunisuzaki / misc
  misc
  ☆12Updated 9 years ago
• verified-HRoT / dice-star
  ☆18Updated 10 months ago
• ilebedev / sanctum
  The MIT Sanctum processor top-level project
  ☆28Updated 5 years ago
• zzrcxb / LLCFeasible
  Open source release of "Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud" (ASPLOS '24)
  ☆22Updated last week
• ARM-software / cca-rmm-acs
  Tests for verifying compliance of RMM implementations
  ☆18Updated last month
• masked-kyber-m4 / mkm4
  This is the repository for the first-order masked Kyber on ARM Cortex-M4
  ☆11Updated last year