verified-HRoT / dice-starLinks
☆21Updated 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
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆110Updated 3 years ago
- Crypto library☆67Updated last month
- Lean cryptographic library usable for bare-metal environments☆81Updated this week
- A repository of tools for verifying constant-timeness☆19Updated 11 months ago
- This repo is used for managing conversations about Veraison features☆53Updated 2 years ago
- Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203☆130Updated this week
- Demo host and enclave applications exercising most functionality.☆32Updated 2 years ago
- Robust Internet of Things, Microsoft Research☆91Updated 2 years ago
- seL4 Device Driver Framework☆22Updated 2 years ago
- Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme☆57Updated 2 years ago
- ☆34Updated 3 months ago
- CoRIM and CoMID manipulation library☆21Updated 3 weeks ago
- A microarchitectural leakage detection framework using dynamic instrumentation.☆80Updated 2 months ago
- Circuits and hardware security modules formally verified with Knox 🔐☆26Updated 11 months ago
- OpenSGX☆305Updated 5 years ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆65Updated last year
- ☆38Updated 8 years ago
- Verifying OpenTitan☆28Updated 2 years ago
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 5 years ago
- Language for high-assurance and high-speed cryptography☆323Updated this week
- A rust implementation for DMTF SPDM protocol to support Confidential Computing☆49Updated 3 weeks ago
- ☆22Updated 4 months ago
- An on-device confidential computing platform☆134Updated last month
- ☆25Updated 10 months 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 …☆65Updated last month
- Teaching materials related to the Tamarin Prover☆71Updated last year
- A repository tracking releases of NIST's ACVP server. See www.github.com/usnistgov/ACVP for the protocol.☆91Updated 2 months ago
- Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)☆60Updated 7 months ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 8 years ago