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
  ☆70Updated 9 months ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆456Updated last month
• 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
• kste / cryptosmt
  An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.
  ☆96Updated last year
• mmeh / simon-speck-cryptanalysis
  Cryptanalysis code for the SIMON and SPECK families of block ciphers
  ☆20Updated 9 years ago
• tamarin-prover / manual
  Tamarin prover manual: source files
  ☆25Updated last month
• Inria-Prosecco / reftls
  ☆30Updated last year
• XPIR-team / XPIR
  XPIR: Private Information Retrieval for Everyone
  ☆119Updated 3 years ago
• Cryptosaurus / iacrtrans
  LaTeX class for the IACR Transactions on Symmetric Cryptology
  ☆33Updated 9 months ago
• gdanezis / petlib
  A python library that implements a number of Privacy Enhancing Technolgies
  ☆132Updated 2 years ago
• cryptobib / export
  CryptoBib BibTex files
  ☆56Updated last week
• CMMayer / Toolkit-for-Ring-LWE-v1.0
  Implementation of a toolkit for ring-LWE based cryptography in arbitrary cyclotomic number fields.
  ☆38Updated 9 years ago
• lwe-frodo / lwe-frodo
  Post-quantum key exchange from the learning with errors problem — from the paper "Frodo: Take off the ring! Practical, Quantum-Secure Key…
  ☆46Updated 7 years ago
• peigen-sboxes / PEIGEN
  An open source project for study S-boxes
  ☆40Updated 2 years ago
• thomwiggers / kemtls-experiment
  Experimental implementation of KEMTLS in Rustls
  ☆30Updated last year
• Fraunhofer-AISEC / DATA
  Differential Address Trace Analysis
  ☆56Updated last year
• ranea / CASCADA
  A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.
  ☆35Updated 5 months ago
• cryptobib / db
  CryptoBib Database for Developers
  ☆44Updated last week
• sprout-uci / RATA
  On the TOCTOU Problem in Remote Attestation
  ☆14Updated 11 months ago
• agohr / deep_speck
  Supplementary code and data to "Improving Attacks on Round-Reduced Speck32/64 Using Deep Learning"
  ☆75Updated 5 years ago
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆346Updated last week
• easyuc / EasyUC
  Experiments with Universal Composability in EasyCrypt
  ☆33Updated 3 weeks ago
• arnomi / cryptocode
  LaTeX package for typesetting pseudocode and cryptographic games
  ☆172Updated last year
• wangxiao1254 / FlexSC
  A Flexible Efficient Secure Computation Backend
  ☆33Updated 6 years ago
• acmccs / format
  ACM consolidated LaTeX styles
  ☆67Updated 6 years ago
• oblivm / ObliVMGC
  The garbled circuit backend for the ObliVM framework
  ☆17Updated 9 years ago
• PQShield / nist-sigs-zoo
  Exploration of NIST post-quantum signatures on-ramp candidates
  ☆31Updated 2 months ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• yuchen1024 / Kunlun
  A C++ library containing both easy-to-use lower level bigint/ecgroup interfaces and high-level cryptographical schemes/protocols.
  ☆78Updated 9 months ago