verified-HRoT / dice-starLinks
☆20Updated last year
Alternatives and similar repositories for dice-star
Users that are interested in dice-star are comparing it to the libraries listed below
Sorting:
- Minimal RISC Extensions for Isolated Execution☆54Updated 6 years ago
- This repo is used for managing conversations about Veraison features☆53Updated last year
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆110Updated 3 years ago
- Setup and operation guide for OPTIGA™ TPM backed remote attestation on a Linux system☆22Updated 8 months ago
- Lean cryptographic library usable for bare-metal environments☆77Updated this week
- A repository of tools for verifying constant-timeness☆18Updated 9 months ago
- A rust implementation for DMTF SPDM protocol to support Confidential Computing☆47Updated this week
- A Tool for the Static Analysis of Cache Side Channels☆41Updated 8 years ago
- This repo holds the work area and revisions of the non-ISA specification created by the RISC-V AP-TEE TG. This specification defines the …☆64Updated 6 months ago
- Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme☆56Updated 2 years ago
- CoRIM and CoMID manipulation library☆19Updated 2 weeks ago
- Crypto library☆66Updated last week
- A microarchitectural leakage detection framework using dynamic instrumentation.☆79Updated 3 weeks ago
- seL4 Device Driver Framework☆22Updated last year
- ☆14Updated 7 months ago
- Verifying OpenTitan☆27Updated 2 years ago
- OpenSGX☆305Updated 5 years ago
- ☆33Updated last month
- Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203☆116Updated this week
- ☆24Updated 8 months ago
- Teaching materials related to the Tamarin Prover☆71Updated last year
- Demo host and enclave applications exercising most functionality.☆31Updated 2 years ago
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …☆193Updated 2 weeks ago
- Calculate AMD SEV/SEV-ES/SEV-SNP measurement for confidential computing☆71Updated 2 months ago
- Simple and scalable Linux tools for verifying TPM-based remote attestations 🔬⚖️🔐⛓📏📜☆22Updated 4 years ago
- dude, is my code constant time?☆191Updated last year
- wolfTPM is a highly portable TPM 2.0 library, designed for embedded use.☆297Updated 2 weeks ago
- Language for high-assurance and high-speed cryptography☆316Updated last week
- ☆28Updated 5 years ago
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 5 years ago