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
  ☆69Updated 7 months ago
• Inria-Prosecco / reftls
  ☆30Updated 11 months ago
• tamarin-prover / manual
  Tamarin prover manual: source files
  ☆25Updated this week
• 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
  ☆35Updated last year
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆24Updated last month
• formosa-crypto / formosa-mlkem
  ☆14Updated 2 weeks ago
• PQShield / nist-sigs-zoo
  Exploration of NIST post-quantum signatures on-ramp candidates
  ☆29Updated last month
• formosa-crypto / libjade
  Crypto library
  ☆57Updated 3 weeks ago
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆56Updated 2 years ago
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆50Updated 11 months ago
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆33Updated this week
• MQuaresma / pswoosh
  Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange
  ☆27Updated 9 months ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆34Updated 2 years ago
• imdea-software / homomorphic-authentication-library
  HAL: A Library for Homomorphic Authentication
  ☆19Updated 7 years ago
• cascremers / scyther
  The Scyther Tool for the symbolic analysis of security protocols
  ☆101Updated 3 months ago
• tamarin-pq3 / tamarin-pq3
  The formal proofs for iMessage PQ3 using the Tamarin Prover
  ☆13Updated last week
• verified-HRoT / dice-star
  ☆18Updated 10 months ago
• ietf-wg-pquip / state-of-protocols-and-pqc
  A list of the state of IETF protocols and PQC
  ☆53Updated 2 months ago
• 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
• Fraunhofer-AISEC / rabe
  rabe is an Attribute Based Encryption library, written in Rust
  ☆83Updated 2 weeks ago
• GaloisInc / ocelot
  Oblivious transfer library for rust
  ☆11Updated 5 years ago
• Fraunhofer-AISEC / cmc
  The Connector Measurement Component (CMC) repository provides tools and software to enable remote attestation of computing platforms.
  ☆17Updated this week
• project-everest / everquic-crypto
  Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
  ☆13Updated last month
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆452Updated this week
• sprout-uci / RATA
  On the TOCTOU Problem in Remote Attestation
  ☆14Updated 9 months ago
• ConfidentialComputing / GPU-TEE-Papers
  ☆16Updated last year
• pps-lab / zeph-artifact
  Cryptographic Enforcement of End-to-End Data Privacy
  ☆24Updated 2 years ago
• IETF-Hackathon / pqc-certificates
  Post-quantum cryptography certificates
  ☆61Updated this week
• SQISign / sqisign-ac20-obsolete
  SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)
  ☆27Updated 2 years ago