verified-HRoT / dice-star
☆18Updated 8 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☆51Updated 5 years ago
- This repo is used for managing conversations about Veraison features☆52Updated last year
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆105Updated 2 years ago
- Circuits and hardware security modules formally verified with Knox 🔐☆24Updated last month
- ☆35Updated 7 years ago
- A repository of tools for verifying constant-timeness☆14Updated last month
- 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 …☆52Updated 3 weeks ago
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified…☆38Updated this week
- ☆16Updated 2 years ago
- The MIT Sanctum processor top-level project☆28Updated 4 years ago
- seL4 Device Driver Framework☆23Updated last year
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆58Updated 7 months ago
- Checking that functions are constant time with Valgrind☆177Updated 7 years ago
- The Intel(R) Enhanced Privacy ID Software Development Kit☆30Updated 2 years ago
- Lean cryptographic library usable for bare-metal environments☆33Updated this week
- ☆29Updated 9 months ago
- Minimal OpenMSP430 hardware extensions for isolation and attestation☆19Updated last year
- Spectre attack against SGX enclave☆232Updated 7 years ago
- Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture☆31Updated 4 years ago
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆30Updated 6 years ago
- An implementation of the IETF QUIC protocol in F*☆19Updated 5 years ago
- CoRIM and CoMID manipulation library and CLI☆11Updated this week
- Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme☆53Updated last year
- Robust Internet of Things, Microsoft Research☆82Updated last year
- A rust implementation for DMTF SPDM protocol to support Confidential Computing☆25Updated this week
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 7 years ago
- ☆29Updated 4 years ago
- Crypto library☆55Updated 3 months ago
- Efficient TLS termination inside Intel SGX enclaves for existing applications☆105Updated 3 years ago
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆51Updated 5 years ago