tamarin-prover / teaching

Related projects ⓘ

Alternatives and complementary repositories for teaching

• tamarin-prover / manual
  Tamarin prover manual: source files
  ☆24Updated last week
• Inria-Prosecco / reftls
  ☆29Updated 7 months ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆419Updated last week
• benjaminkiesl / tamarin_toy_protocol
  A set of exercises for getting started with the Tamarin prover
  ☆15Updated last year
• fmlab-iis / cryptoline
  ☆42Updated this week
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆320Updated this week
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆31Updated last year
• formosa-crypto / libjade
  Crypto library
  ☆52Updated last month
• imdea-software / verifying-constant-time
  ☆35Updated 7 years ago
• kste / cryptosmt
  An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.
  ☆88Updated last year
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆32Updated this week
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆48Updated 7 months ago
• cascremers / scyther
  The Scyther Tool for the symbolic analysis of security protocols
  ☆99Updated 6 months ago
• jovanbulck / sgx-tutorial-space18
  Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves
  ☆52Updated 5 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆39Updated 7 years ago
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆22Updated last month
• REPROSEC / dolev-yao-star
  DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
  ☆13Updated 5 months ago
• ranea / ArxPy
  Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.
  ☆29Updated last year
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆50Updated 5 years ago
• Fraunhofer-AISEC / DATA
  Differential Address Trace Analysis
  ☆54Updated 7 months ago
• lducas / leaky-LWE-Estimator
  A sage Toolkit for mounting/estimating attacks on LWE with Side Information
  ☆38Updated last year
• SRI-CSL / sally
  A model checker for infinite-state systems.
  ☆69Updated 3 years ago
• thomwiggers / kemtls-experiment
  Experimental implementation of KEMTLS in Rustls
  ☆27Updated last year
• acmccs / format
  ACM consolidated LaTeX styles
  ☆64Updated 5 years ago
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆66Updated 4 years ago
• amiller / haskell-saucy
  Super Amazing Universal Composability, Yeah!
  ☆33Updated 2 years ago
• oblivm / ObliVMGC
  The garbled circuit backend for the ObliVM framework
  ☆17Updated 8 years ago
• Crypto-TII / claasp
  A Cryptographic Library for the Automated Analysis of Symmetric Primitives
  ☆49Updated this week
• PQShield / nist-sigs-zoo
  Exploration of NIST post-quantum signatures on-ramp candidates
  ☆23Updated 2 weeks ago
• mmeh / simon-speck-cryptanalysis
  Cryptanalysis code for the SIMON and SPECK families of block ciphers
  ☆20Updated 8 years ago