sprout-uci / vrasedLinks
☆18Updated 3 years ago
Alternatives and similar repositories for vrased
Users that are interested in vrased are comparing it to the libraries listed below
Sorting:
- On the TOCTOU Problem in Remote Attestation☆14Updated last year
- TPM attestation client and server for TPM 20. and TPM 1.2, including enrollment, attestation, and a web UI.☆16Updated 5 months ago
- This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev v…☆41Updated last year
- The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Executi…☆14Updated 2 years ago
- Proof-of-concept implementation for the paper "CacheWarp: Software-based Fault Injection using Selective State Reset" (USENIX Security 20…☆63Updated 11 months ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆24Updated last year
- Teaching materials related to the Tamarin Prover☆70Updated 11 months ago
- An Implementation of the Number Theoretic Transform☆48Updated last year
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆33Updated 7 years ago
- Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing☆66Updated last year
- ☆40Updated last week
- The Connector Measurement Component (CMC) repository provides tools and software to enable remote attestation of computing platforms.☆17Updated 2 weeks ago
- Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203☆87Updated this week
- Breaking Confidential VMs with Malicious Interrupts (USENIX Security 2024)☆31Updated last year
- WaTZ: A Trusted WebAssembly Runtime Environment with Remote Attestation for TrustZone.☆31Updated last year
- This repo is used for managing conversations about Veraison features☆52Updated last year
- ☆22Updated last year
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆51Updated 4 months ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆27Updated 8 years ago
- ☆23Updated 4 months ago
- Minimal RISC Extensions for Isolated Execution☆53Updated 6 years ago
- Main source code repository of the Tamarin prover for security protocol verification.☆463Updated 2 weeks ago
- An on-device confidential computing platform☆117Updated this week
- EasyCrypt: Computer-Aided Cryptographic Proofs☆356Updated this week
- A Tool for the Static Analysis of Cache Side Channels☆41Updated 8 years ago
- Language for high-assurance and high-speed cryptography☆297Updated this week
- A rust implementation for DMTF SPDM protocol to support Confidential Computing☆35Updated this week
- Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)☆26Updated last year
- Proof-of-Concept of the Frontal Attack☆10Updated 2 years ago
- A microarchitectural leakage detection framework using dynamic instrumentation.☆74Updated 2 weeks ago