cascremers / scyther

Related projects: ⓘ

• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆62Updated last month
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆409Updated last week
• benjaminkiesl / tamarin_toy_protocol
  A set of exercises for getting started with the Tamarin prover
  ☆15Updated 10 months ago
• kste / cryptosmt
  An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.
  ☆87Updated last year
• XPIR-team / XPIR
  XPIR: Private Information Retrieval for Everyone
  ☆114Updated 2 years ago
• mmeh / simon-speck-cryptanalysis
  Cryptanalysis code for the SIMON and SPECK families of block ciphers
  ☆20Updated 8 years ago
• peigen-sboxes / PEIGEN
  An open source project for study S-boxes
  ☆32Updated last year
• gdanezis / petlib
  A python library that implements a number of Privacy Enhancing Technolgies
  ☆130Updated last year
• 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
• EasyCrypt / easycrypt
  EasyCrypt: Computer-Aided Cryptographic Proofs
  ☆309Updated this week
• PQShield / nist-sigs-zoo
  Exploration of NIST post-quantum signatures on-ramp candidates
  ☆21Updated 2 months ago
• cryptobib / export
  CryptoBib BibTex files
  ☆50Updated last week
• ranea / CASCADA
  A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.
  ☆27Updated 3 months ago
• acmccs / format
  ACM consolidated LaTeX styles
  ☆63Updated 5 years ago
• blynn / pbc
  The Pairing-based Crypto library
  ☆231Updated 6 months ago
• thomwiggers / kemtls-experiment
  Experimental implementation of KEMTLS in Rustls
  ☆26Updated 10 months ago
• ranea / ArxPy
  Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.
  ☆29Updated last year
• vesselinux / yaarx
  Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms
  ☆31Updated 2 years ago
• Cryptosaurus / iacrtrans
  LaTeX class for the IACR Transactions on Symmetric Cryptology
  ☆28Updated last month
• zeutro / openabe
  The OpenABE library - open source cryptographic library with attribute-based encryption implementations in C/C++
  ☆255Updated last year
• tamarin-prover / manual
  Tamarin prover manual: source files
  ☆24Updated last week
• Deadlyelder / Tools-for-Cryptanalysis
  A repository that aims to provide tools for cryptography and cryptanalysis
  ☆200Updated 4 years ago
• pq-crystals / security-estimates
  Security Estimation Scripts for Kyber and Dilithium
  ☆22Updated 3 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…
  ☆43Updated 7 years ago
• arnomi / cryptocode
  LaTeX package for typesetting pseudocode and cryptographic games
  ☆151Updated 9 months ago
• agohr / deep_speck
  Supplementary code and data to "Improving Attacks on Round-Reduced Speck32/64 Using Deep Learning"
  ☆62Updated 5 years ago
• osu-crypto / batchDualEx
  Batch Dual Execution framework for secure multiparty computation
  ☆13Updated 7 years ago
• kste / solvatore
  An easy to use tool for evaluating the security of cryptographic algorithms against integral attacks.
  ☆21Updated 5 years ago
• mit6875 / mit6875.github.io
  MIT 6.875
  ☆12Updated 9 months ago
• iaikkrypto / lineartrails
  Tool to automatically search for linear characteristics
  ☆39Updated 8 years ago