Alternatives and similar repositories for dice-star

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

• formosa-crypto / libjade
  Crypto library
  ☆66Updated 2 weeks ago
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆110Updated 3 years ago
• crocs-muni / ct-tools
  A repository of tools for verifying constant-timeness
  ☆18Updated 10 months ago
• veraison / veraison
  This repo is used for managing conversations about Veraison features
  ☆53Updated last year
• lucypa / sDDF
  seL4 Device Driver Framework
  ☆22Updated 2 years ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆54Updated 6 years ago
• jasmin-lang / jasmin
  Language for high-assurance and high-speed cryptography
  ☆322Updated last week
• smuellerDD / leancrypto
  Lean cryptographic library usable for bare-metal environments
  ☆79Updated last week
• anishathalye / knox-hsm
  Circuits and hardware security modules formally verified with Knox 🔐
  ☆26Updated 10 months ago
• XMSS / xmss-reference
  Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme
  ☆57Updated 2 years ago
• project-everest / vale
  Verified Assembly Language for Everest
  ☆299Updated last year
• Ko- / riscvcrypto
  Optimized assembly implementations of crypto for the RV32I (RISC-V) architecture
  ☆31Updated 5 years ago
• oreparaz / dudect
  dude, is my code constant time?
  ☆194Updated last year
• islet-project / islet
  An on-device confidential computing platform
  ☆133Updated last week
• ccc-spdm-tools / spdm-rs
  A rust implementation for DMTF SPDM protocol to support Confidential Computing
  ☆49Updated this week
• microwalk-project / Microwalk
  A microarchitectural leakage detection framework using dynamic instrumentation.
  ☆79Updated last month
• agl / ctgrind
  Checking that functions are constant time with Valgrind
  ☆195Updated 8 years ago
• adrianlshaw / LightVerifier
  Simple and scalable Linux tools for verifying TPM-based remote attestations 🔬⚖️🔐⛓📏📜
  ☆22Updated 4 years ago
• microsoft / RIoT
  Robust Internet of Things, Microsoft Research
  ☆91Updated 2 years ago
• pq-code-package / mlkem-native
  Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203
  ☆120Updated this week
• Infineon / remote-attestation-optiga-tpm
  Setup and operation guide for OPTIGA™ TPM backed remote attestation on a Linux system
  ☆22Updated 9 months ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆299Updated last week
• IBM / ACE-RISCV
  Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a …
  ☆195Updated 2 weeks ago
• Inria-Prosecco / reftls
  ☆33Updated 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 …
  ☆65Updated last week
• mjosaarinen / py-acvp-pqc
  Python implementations of FIPS 203,204,205 (+ python wrappers for NIST's ACVP-Server crypto code)
  ☆60Updated 6 months ago
• kemtls / Tamarin-multi-stage-model
  Tamarin proof for the KEMTLS protocol using the multi-stage AKE model
  ☆13Updated 2 years ago
• imdea-software / verifying-constant-time
  ☆38Updated 8 years ago
• project-oak / hafnium-verification
  ☆28Updated 5 years ago
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆71Updated last year