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 10 months ago
• tamarin-prover / manual
  [Obsolete] Tamarin prover manual: source files
  ☆24Updated this week
• Inria-Prosecco / reftls
  ☆30Updated last year
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆39Updated last year
• formosa-crypto / libjade
  Crypto library
  ☆60Updated this week
• tamarin-pq3 / tamarin-pq3
  The formal proofs for iMessage PQ3 using the Tamarin Prover
  ☆16Updated 3 months ago
• benjaminkiesl / tamarin_toy_protocol
  A set of exercises for getting started with the Tamarin prover
  ☆20Updated last year
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆24Updated 4 months ago
• formosa-crypto / formosa-mlkem
  ☆14Updated last week
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆51Updated 3 weeks ago
• CCC-Attestation / formal-spec-TEE
  Formal specification of attestation mechanisms in Confidential Computing
  ☆21Updated 10 months ago
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆34Updated last week
• cascremers / scyther
  The Scyther Tool for the symbolic analysis of security protocols
  ☆102Updated 6 months ago
• fmlab-iis / cryptoline
  ☆49Updated last week
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆460Updated this week
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• MQuaresma / pswoosh
  Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange
  ☆27Updated last year
• pq-code-package / mlkem-native
  Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203
  ☆81Updated this week
• imdea-software / homomorphic-authentication-library
  HAL: A Library for Homomorphic Authentication
  ☆20Updated 8 years ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆34Updated 3 years ago
• paulehoffman / post-quantum-for-engineers
  ☆11Updated 2 years ago
• OSUSecLab / SGX-Enclave-Formal-Verification
  Tamarin models for state continuity of SGX enclave programs
  ☆13Updated 3 years ago
• sprout-uci / RATA
  On the TOCTOU Problem in Remote Attestation
  ☆14Updated last year
• symbolicsoft / verifpal
  Cryptographic protocol analysis for real-world protocols.
  ☆53Updated 9 months ago
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆66Updated 5 years ago
• martonbognar / gap-attacks
  The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Executi…
  ☆13Updated 2 years ago
• veraison / veraison
  This repo is used for managing conversations about Veraison features
  ☆52Updated last year
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆356Updated last week
• acmccs / format
  ACM consolidated LaTeX styles
  ☆67Updated 6 years ago
• RFCNLP / RFCNLP
  Open-source code for RFCNLP paper.
  ☆58Updated 2 years ago