Alternatives and similar repositories for scyther:

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

• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆65Updated 5 months ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆429Updated last month
• benjaminkiesl / tamarin_toy_protocol
  A set of exercises for getting started with the Tamarin prover
  ☆16Updated last year
• XPIR-team / XPIR
  XPIR: Private Information Retrieval for Everyone
  ☆116Updated 3 years ago
• tamarin-prover / manual
  Tamarin prover manual: source files
  ☆24Updated last month
• gdanezis / petlib
  A python library that implements a number of Privacy Enhancing Technolgies
  ☆132Updated 2 years ago
• ietf-wg-pquip / state-of-protocols-and-pqc
  A list of the state of IETF protocols and PQC
  ☆48Updated this week
• thomwiggers / kemtls-experiment
  Experimental implementation of KEMTLS in Rustls
  ☆29Updated last year
• kste / cryptosmt
  An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.
  ☆91Updated last year
• cryptobib / db
  CryptoBib Database for Developers
  ☆40Updated last week
• Inria-Prosecco / reftls
  ☆29Updated 9 months ago
• imdea-software / verifying-constant-time
  ☆35Updated 7 years ago
• PQShield / nist-sigs-zoo
  Exploration of NIST post-quantum signatures on-ramp candidates
  ☆24Updated last week
• tls13tamarin / TLS13Tamarin
  This is a Tamarin model of TLS 1.3
  ☆31Updated last year
• alleystoughton / EasyTeach
  Examples for EasyCrypt Lectures
  ☆23Updated 3 months ago
• Cryptosaurus / iacrtrans
  LaTeX class for the IACR Transactions on Symmetric Cryptology
  ☆29Updated 5 months ago
• acmccs / format
  ACM consolidated LaTeX styles
  ☆65Updated 5 years ago
• cryptobib / export
  CryptoBib BibTex files
  ☆55Updated last week
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆329Updated this week
• mmeh / simon-speck-cryptanalysis
  Cryptanalysis code for the SIMON and SPECK families of block ciphers
  ☆20Updated 8 years ago
• vesselinux / yaarx
  Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms
  ☆31Updated 3 years ago
• Fraunhofer-AISEC / DATA
  Differential Address Trace Analysis
  ☆54Updated 9 months ago
• pq-code-package / mlkem-native
  High-assurance, high-performance C90 implementation of ML-KEM
  ☆27Updated this week
• formosa-crypto / libjade
  Crypto library
  ☆55Updated 3 months ago
• matthewdgreen / cryptoengineering
  JHU Advanced Topics in Applied Cryptography (601.745)
  ☆52Updated 6 years ago
• CMMayer / Toolkit-for-Ring-LWE-v1.0
  Implementation of a toolkit for ring-LWE based cryptography in arbitrary cyclotomic number fields.
  ☆35Updated 8 years ago
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆32Updated this week
• safecrypto / libsafecrypto
  WP6 of the SAFEcrypto project - a suite of lattice-based cryptographic schemes
  ☆39Updated last year
• KULeuven-COSIC / SABER
  SABER is a Module-LWR based KEM submitted to NIST
  ☆49Updated 2 years ago
• oblivm / ObliVMGC
  The garbled circuit backend for the ObliVM framework
  ☆17Updated 8 years ago