Alternatives and similar repositories for dice-star

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

• smuellerDD / leancrypto
  Lean cryptographic library usable for bare-metal environments
  ☆65Updated last week
• veraison / veraison
  This repo is used for managing conversations about Veraison features
  ☆53Updated last year
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆104Updated 3 years ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆53Updated 6 years ago
• crocs-muni / ct-tools
  A repository of tools for verifying constant-timeness
  ☆18Updated 7 months ago
• ccc-spdm-tools / spdm-rs
  A rust implementation for DMTF SPDM protocol to support Confidential Computing
  ☆39Updated this week
• formosa-crypto / libjade
  Crypto library
  ☆65Updated last week
• XMSS / xmss-reference
  Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme
  ☆55Updated last year
• wolfSSL / wolfTPM
  wolfTPM is a highly portable TPM 2.0 library, designed for embedded use.
  ☆288Updated 3 weeks ago
• 0xADE1A1DE / CryptOpt
  CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
  ☆62Updated last year
• lucypa / sDDF
  seL4 Device Driver Framework
  ☆21Updated last year
• imdea-software / verifying-constant-time
  ☆37Updated 8 years ago
• microwalk-project / Microwalk
  A microarchitectural leakage detection framework using dynamic instrumentation.
  ☆76Updated 2 months ago
• pq-code-package / mlkem-native
  Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203
  ☆101Updated this week
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆308Updated last week
• adrianlshaw / LightVerifier
  Simple and scalable Linux tools for verifying TPM-based remote attestations 🔬⚖️🔐⛓📏📜
  ☆22Updated 4 years ago
• aadomn / aes
  Fast constant-time AES implementations on 32-bit architectures
  ☆66Updated 11 months ago
• Inria-Prosecco / reftls
  ☆33Updated last year
• microsoft / RIoT
  Robust Internet of Things, Microsoft Research
  ☆88Updated 2 years ago
• kemtls / Tamarin-multi-stage-model
  Tamarin proof for the KEMTLS protocol using the multi-stage AKE model
  ☆13Updated 2 years ago
• veraison / corim
  CoRIM and CoMID manipulation library
  ☆15Updated last week
• usnistgov / SP800-90B_EntropyAssessment
  The SP800-90B_EntropyAssessment C++package implements the min-entropy assessment methods included in Special Publication 800-90B.
  ☆227Updated 4 months ago
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆43Updated 2 weeks ago
• Ko- / riscvcrypto
  Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture
  ☆31Updated 4 years ago
• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …
  ☆189Updated this week
• opencomputeproject / OCP-Security-SAFE
  ☆16Updated 3 weeks ago
• islet-project / islet
  An on-device confidential computing platform
  ☆124Updated last week
• project-oak / hafnium-verification
  ☆28Updated 5 years ago
• Intel-EPID-SDK / epid-sdk
  The Intel(R) Enhanced Privacy ID Software Development Kit
  ☆30Updated 2 years ago
• 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 …
  ☆61Updated 4 months ago