verified-HRoT / dice-star
☆18Updated 10 months ago
Alternatives and similar repositories for dice-star:
Users that are interested in dice-star are comparing it to the libraries listed below
- Minimal RISC Extensions for Isolated Execution☆52Updated 5 years ago
- CoRIM and CoMID manipulation library and CLI☆11Updated this week
- ☆30Updated 11 months ago
- ☆35Updated 8 years ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆60Updated 9 months ago
- Circuits and hardware security modules formally verified with Knox 🔐☆24Updated last month
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified…☆44Updated 2 weeks ago
- Teaching materials related to the Tamarin Prover☆69Updated 7 months ago
- Crypto library☆57Updated 3 weeks ago
- Verifying OpenTitan☆25Updated last year
- This repo is used for managing conversations about Veraison features☆52Updated last year
- 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 …☆53Updated last week
- A microarchitectural leakage detection framework using dynamic instrumentation.☆71Updated 2 weeks ago
- A repository of tools for verifying constant-timeness☆18Updated last month
- seL4 Device Driver Framework☆23Updated last year
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆52Updated 3 weeks ago
- Tool to Analyze Speculative Execution Attacks and Mitigations☆54Updated 3 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆105Updated 2 years ago
- Formal specification and verification of hardware, especially for security and privacy.☆124Updated 2 years ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆50Updated 11 months ago
- A rust implementation for DMTF SPDM protocol to support Confidential Computing☆27Updated this week
- The MIT Sanctum processor top-level project☆28Updated 4 years ago
- Simple and scalable Linux tools for verifying TPM-based remote attestations 🔬⚖️🔐⛓📏📜☆22Updated 3 years ago
- ☆20Updated 2 months ago
- ☆29Updated 4 years ago
- Formal specification of attestation mechanisms in Confidential Computing☆18Updated 7 months ago
- Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme☆55Updated last year
- Differential Address Trace Analysis☆55Updated last year
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 4 years ago
- ☆14Updated 2 weeks ago