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
  ☆63Updated this week
• XMSS / xmss-reference
  Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme
  ☆55Updated last year
• 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 6 months ago
• ccc-spdm-tools / spdm-rs
  A rust implementation for DMTF SPDM protocol to support Confidential Computing
  ☆37Updated last week
• pq-code-package / mlkem-native
  Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203
  ☆97Updated this week
• veraison / veraison
  This repo is used for managing conversations about Veraison features
  ☆53Updated last year
• Inria-Prosecco / reftls
  ☆33Updated last year
• opencomputeproject / OCP-Security-SAFE
  ☆16Updated this week
• formosa-crypto / libjade
  Crypto library
  ☆62Updated this week
• Ko- / riscvcrypto
  Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture
  ☆31Updated 4 years ago
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆104Updated 3 years ago
• anishathalye / knox-hsm
  Circuits and hardware security modules formally verified with Knox 🔐
  ☆25Updated 7 months ago
• CCC-Attestation / formal-spec-TEE
  Formal specification of attestation mechanisms in Confidential Computing
  ☆22Updated last year
• mjosaarinen / py-acvp-pqc
  Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)
  ☆50Updated 2 months 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 …
  ☆59Updated 3 months ago
• microwalk-project / Microwalk
  A microarchitectural leakage detection framework using dynamic instrumentation.
  ☆77Updated 2 months ago
• oreparaz / dudect
  dude, is my code constant time?
  ☆186Updated last year
• adrianlshaw / LightVerifier
  Simple and scalable Linux tools for verifying TPM-based remote attestations 🔬⚖️🔐⛓📏📜
  ☆22Updated 4 years ago
• lowRISC / manticore
  ☆17Updated 3 years ago
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆305Updated this week
• veraison / corim
  CoRIM and CoMID manipulation library
  ☆13Updated this week
• usnistgov / ACVP-Server
  A repository tracking releases of NIST's ACVP server. See www.github.com/usnistgov/ACVP for the protocol.
  ☆84Updated last month
• Fraunhofer-AISEC / DATA
  Differential Address Trace Analysis
  ☆58Updated last year
• usnistgov / SP800-90B_EntropyAssessment
  The SP800-90B_EntropyAssessment C++package implements the min-entropy assessment methods included in Special Publication 800-90B.
  ☆224Updated 3 months ago
• ANSSI-FR / SecAESSTM32
  Bibliothèque C et assembleur permettant le chiffrement/déchiffrement AES-128 de messages pour des composants grand public (famille STM32F…
  ☆69Updated 2 years ago
• imdea-software / verifying-constant-time
  ☆36Updated 8 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆41Updated 8 years ago
• ileanabuhan / Tutorial-on-entropies
  An interactive notebook for understanding the relation between mutual information, perceived and hypothetical information
  ☆11Updated 5 years ago
• aadomn / aes
  Fast constant-time AES implementations on 32-bit architectures
  ☆66Updated 10 months ago