Alternatives and similar repositories for tamarin-workshop

Users that are interested in tamarin-workshop are comparing it to the libraries listed below

• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆70Updated 10 months ago
• Inria-Prosecco / reftls
  ☆30Updated last year
• tamarin-prover / manual
  Tamarin prover manual: source files
  ☆25Updated 2 weeks ago
• benjaminkiesl / tamarin_toy_protocol
  A set of exercises for getting started with the Tamarin prover
  ☆19Updated last year
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆37Updated last year
• PQShield / nist-sigs-zoo
  Exploration of NIST post-quantum signatures on-ramp candidates
  ☆31Updated this week
• tamarin-pq3 / tamarin-pq3
  The formal proofs for iMessage PQ3 using the Tamarin Prover
  ☆15Updated 2 months ago
• ietf-wg-pquip / state-of-protocols-and-pqc
  A list of the state of IETF protocols and PQC
  ☆58Updated 4 months ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆459Updated 2 weeks ago
• formosa-crypto / formosa-mlkem
  ☆14Updated this week
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆34Updated this week
• formosa-crypto / libjade
  Crypto library
  ☆60Updated last week
• imdea-software / homomorphic-authentication-library
  HAL: A Library for Homomorphic Authentication
  ☆20Updated 8 years ago
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆24Updated 4 months ago
• sdiehl / oblivious-transfer
  Oblivious transfer for multiparty computation
  ☆37Updated 5 years ago
• CCC-Attestation / formal-spec-TEE
  Formal specification of attestation mechanisms in Confidential Computing
  ☆20Updated 9 months ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆34Updated 3 years ago
• sprout-uci / RATA
  On the TOCTOU Problem in Remote Attestation
  ☆14Updated last year
• charlie-j / fm-crypto-lib
  ☆13Updated last month
• GaloisInc / fancy-garbling
  Rust implementation of the BMR16 arithmetic garbling scheme.
  ☆34Updated 5 years ago
• oblivm / ObliVMGC
  The garbled circuit backend for the ObliVM framework
  ☆17Updated 9 years ago
• cascremers / scyther
  The Scyther Tool for the symbolic analysis of security protocols
  ☆102Updated 5 months ago
• usnistgov / Lightweight-Cryptography-Benchmarking
  ☆55Updated 11 months ago
• Fraunhofer-AISEC / cmc
  The Connector Measurement Component (CMC) repository provides tools and software to enable remote attestation of computing platforms.
  ☆17Updated this week
• Zhiyi-Zhang / PS-Signature-and-EL-PASSO
  A C++ Implementation of Short Randomizable Signatures (PS Signatures) and EL PASSO (Privacy-preserving, Asynchronous Single Sign-On)
  ☆25Updated 3 years ago
• IETF-Hackathon / pqc-certificates
  Post-quantum cryptography certificates
  ☆64Updated this week
• wangxiao1254 / FlexSC
  A Flexible Efficient Secure Computation Backend
  ☆33Updated 7 years ago
• Fraunhofer-AISEC / rabe
  rabe is an Attribute Based Encryption library, written in Rust
  ☆84Updated 2 months ago
• thomwiggers / kemtls-experiment
  Experimental implementation of KEMTLS in Rustls
  ☆30Updated last year
• MQuaresma / pswoosh
  Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange
  ☆27Updated 11 months ago