Alternatives and similar repositories for LightweightCmpRa

Users that are interested in LightweightCmpRa are comparing it to the libraries listed below

• cisco / libest
  ☆105Updated last year
• Roman-Oliynykov / ciphers-speed
  ☆11Updated 10 years ago
• felixlinker / tamarin-workshop
  A 2-4h workshop on the Tamarin protocol verifier.
  ☆22Updated 7 months ago
• laurentluce / est-client-python
  EST client - RFC 7030 - Enrollment over Secure Transport
  ☆26Updated 5 years ago
• round5 / code
  Code of Round5
  ☆11Updated 5 years ago
• caml-pkcs11 / caml-crush
  Caml Crush: an OCaml PKCS#11 filtering proxy
  ☆45Updated 3 years ago
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆41Updated 2 years ago
• usnistgov / ACVP-Server
  A repository tracking releases of NIST's ACVP server. See www.github.com/usnistgov/ACVP for the protocol.
  ☆95Updated 3 months ago
• Pkcs11Interop / PKCS11-SPECS
  All versions of PKCS#11 specification in one place
  ☆73Updated last year
• OpenSC / libp11
  PKCS#11 wrapper library
  ☆359Updated last week
• well-typed-lightbulbs / ocaml-baremetal-esp32
  ☆16Updated 6 years ago
• Mastercard / pkcs11-tools
  A set of tools to manage objects on PKCS#11 cryptographic tokens. Compatible with many PKCS#11 library, including major HSM brands, NSS a…
  ☆210Updated this week
• jashug / FormalizedCompilerAlgorithms
  Formalization in Coq of algorithms used in compilers for the Compiler.org project
  ☆15Updated 7 years ago
• latchset / pkcs11-provider
  A pkcs#11 provider for OpenSSL 3.0+
  ☆110Updated 3 weeks ago
• Inria-Prosecco / reftls
  ☆34Updated 4 months ago
• felleslosninger / efm-asic
  Generic implementation of ASiC-E archives in accordance with ETSI 102 918 v1.3.1.
  ☆31Updated 3 months ago
• softhsm / SoftHSMv2
  SoftHSM version 2
  ☆971Updated 3 weeks ago
• glagoly / glagoly
  online decision-making platform
  ☆14Updated 2 years ago
• Shay-Gueron / AES-GCM-SIV
  AES-GCM-SIV implementations (128 and 256 bit)
  ☆118Updated 6 years ago
• keyfender / keyfender
  Secure HSM implementation based on MirageOS
  ☆38Updated 3 years ago
• IETF-Hackathon / pqc-certificates
  Post-quantum cryptography certificates
  ☆77Updated last week
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆179Updated 11 months ago
• Infineon / optiga-tpm-cheatsheet
  OPTIGA™ TPM 2.0 command reference and code examples
  ☆39Updated last year
• catalin-hritcu / fstar-course
  Program verification with F* course materials
  ☆12Updated 6 years ago
• synrc / sample
  💧 SAMPLE: WebSocket Sample Application
  ☆10Updated last year
• SimonJF / monitored-session-erlang
  Supervised Session Actors
  ☆22Updated 9 years ago
• mitls / mitls-flex
  TLS implemented in f7
  ☆44Updated 9 years ago
• oasis-tcs / pkcs11
  OASIS PKCS 11 TC: Repository to support version control for development of technical files associated with the OASIS PKCS11 specification
  ☆56Updated 2 weeks ago
• sdiehl / elliptic-curve
  A polymorphic interface for elliptic curve operations
  ☆43Updated 2 years ago
• nbenton / x86proved
  ☆15Updated 8 years ago