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
  ☆52Updated 5 years ago
• Inria-Prosecco / reftls
  ☆30Updated last year
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆37Updated last month
• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified…
  ☆47Updated this week
• lucypa / sDDF
  seL4 Device Driver Framework
  ☆23Updated last year
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆104Updated 2 years ago
• crocs-muni / ct-tools
  A repository of tools for verifying constant-timeness
  ☆18Updated 2 months ago
• Infineon / remote-attestation-optiga-tpm
  Setup and operation guide for OPTIGA™ TPM backed remote attestation on a Linux system
  ☆20Updated last month
• keystone-enclave / riscv-pk
  Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready
  ☆35Updated 3 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• veraison / veraison
  This repo is used for managing conversations about Veraison features
  ☆52Updated last year
• veraison / corim
  CoRIM and CoMID manipulation library and CLI
  ☆11Updated this week
• smuellerDD / leancrypto
  Lean cryptographic library usable for bare-metal environments
  ☆42Updated last week
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆58Updated last week
• formosa-crypto / libjade
  Crypto library
  ☆58Updated last week
• project-oak / hafnium-verification
  ☆29Updated 4 years ago
• opencomputeproject / OCP-Security-SAFE
  ☆13Updated last month
• rems-project / rmem
  rmem public repo
  ☆41Updated last month
• aadomn / aes
  Fast constant-time AES implementations on 32-bit architectures
  ☆64Updated 6 months ago
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆60Updated 9 months ago
• ilebedev / sanctum
  The MIT Sanctum processor top-level project
  ☆28Updated 5 years ago
• project-oak / silveroak
  Formal specification and verification of hardware, especially for security and privacy.
  ☆126Updated 2 years ago
• islet-project / islet
  An on-device confidential computing platform
  ☆114Updated last week
• microsoft / MSRSec
  Security and Privacy Research at Microsoft
  ☆41Updated 7 months ago
• sslab-gatech / t-sgx
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆27Updated 7 years ago
• XMSS / xmss-reference
  Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme
  ☆55Updated last year
• ccc-spdm-tools / spdm-rs
  A rust implementation for DMTF SPDM protocol to support Confidential Computing
  ☆29Updated this week
• emsec / arm-fault-simulator
  ☆31Updated last year
• lowRISC / manticore
  ☆16Updated 3 years ago
• Ko- / riscvcrypto
  Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture
  ☆31Updated 4 years ago