Alternatives and similar repositories for dice-star:

Users that are interested in dice-star are comparing it to the libraries listed below

• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆51Updated 5 years ago
• XMSS / xmss-reference
  Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme
  ☆53Updated last year
• ccc-spdm-tools / spdm-rs
  A rust implementation for DMTF SPDM protocol to support Confidential Computing
  ☆25Updated this week
• riscv-non-isa / riscv-ap-tee
  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 last month
• veraison / veraison
  This repo is used for managing conversations about Veraison features
  ☆52Updated last year
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆105Updated 2 years ago
• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified…
  ☆42Updated this week
• smuellerDD / leancrypto
  Lean cryptographic library usable for bare-metal environments
  ☆35Updated this week
• lucypa / sDDF
  seL4 Device Driver Framework
  ☆23Updated last year
• Inria-Prosecco / reftls
  ☆30Updated 10 months ago
• project-oak / hafnium-verification
  ☆29Updated 4 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 7 years ago
• veraison / corim
  CoRIM and CoMID manipulation library and CLI
  ☆11Updated this week
• crocs-muni / ct-tools
  A repository of tools for verifying constant-timeness
  ☆14Updated this week
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆59Updated 7 months ago
• anishathalye / knox-hsm
  Circuits and hardware security modules formally verified with Knox 🔐
  ☆24Updated 2 weeks ago
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆34Updated last month
• microwalk-project / Microwalk
  A microarchitectural leakage detection framework using dynamic instrumentation.
  ☆69Updated 8 months ago
• ilebedev / sanctum
  The MIT Sanctum processor top-level project
  ☆28Updated 4 years ago
• sancus-tee / sancus-core
  Minimal OpenMSP430 hardware extensions for isolation and attestation
  ☆19Updated last year
• project-everest / QUIC-FStar
  An implementation of the IETF QUIC protocol in F*
  ☆20Updated 5 years ago
• formosa-crypto / libjade
  Crypto library
  ☆55Updated last week
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆57Updated this week
• rems-project / rmem
  rmem public repo
  ☆41Updated 6 months ago
• aadomn / aes
  Fast constant-time AES implementations on 32-bit architectures
  ☆64Updated 3 months ago
• Intel-EPID-SDK / epid-sdk
  The Intel(R) Enhanced Privacy ID Software Development Kit
  ☆30Updated 2 years ago
• lowRISC / manticore
  ☆16Updated 2 years ago
• secure-foundations / veri-titan
  Verifying OpenTitan
  ☆23Updated last year
• riscv-admin / trusted-computing
  ☆22Updated last year
• cisco / hash-sigs
  A full-featured implementation of of the LMS and HSS Hash Based Signature Schemes from draft-mcgrew-hash-sigs-07.
  ☆36Updated 2 months ago