Alternatives and similar repositories for MILP-tool-for-cryptanalysis-of-block-ciphers

Users that are interested in MILP-tool-for-cryptanalysis-of-block-ciphers are comparing it to the libraries listed below

• Chunning-Zhou / MILPBasedSearchAlgorithmDiff

  View on GitHub
  Code for FSE 2020 - Improving the MILP-based Security Evaluation Algorithm against Differential-Linear Cryptanalysis Using A Divide-and-C…
  ☆16Dec 16, 2019Updated 6 years ago
• zhuby12 / MILP-basedModel

  View on GitHub
  MILP-based Differential Attack on Round-Reduced GIFT
  ☆19Dec 9, 2018Updated 7 years ago
• xiangzejun / MILP_Division_Property

  View on GitHub
  Applying MILP Method to Searching Integral Distinguishers Based on Division Property for 6 Lightweight Block Ciphers
  ☆24Dec 13, 2016Updated 9 years ago
• biwenquan / MILP-aided-Cube-attack-like-cryptanalysis

  View on GitHub
  ☆17Nov 20, 2017Updated 8 years ago
• HugeChaos / Impossible-differentials-and-impossible-polytopic-transitions

  View on GitHub
  ☆11May 21, 2020Updated 5 years ago
• fukai6 / milp_speck

  View on GitHub
  ☆18Nov 29, 2018Updated 7 years ago
• S3L-official / EasyBC

  View on GitHub
  Tool chains of EasyBC
  ☆10Jun 18, 2024Updated last year
• Open-CP / OCP

  View on GitHub
  Open Cryptanalysis Platform
  ☆13Feb 7, 2026Updated last week
• siweisun / involutory_mds

  View on GitHub
  ☆11Jan 24, 2019Updated 7 years ago
• giftcipher / gift

  View on GitHub
  The GIFT Block Cipher
  ☆13Nov 11, 2025Updated 3 months ago
• SunLing134340 / Accelerating_Automatic_Search

  View on GitHub
  ☆13Mar 3, 2021Updated 4 years ago
• Ko- / sboxoptimization

  View on GitHub
  Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers
  ☆27Jul 13, 2017Updated 8 years ago
• ranea / CASCADA

  View on GitHub
  A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.
  ☆40Nov 17, 2024Updated last year
• kste / cryptosmt

  View on GitHub
  An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.
  ☆103Sep 8, 2023Updated 2 years ago
• rweather / skinny-c

  View on GitHub
  SKINNY tweakable block cipher
  ☆22Jan 24, 2024Updated 2 years ago
• hadipourh / sboxanalyzer

  View on GitHub
  An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes
  ☆36Jan 13, 2026Updated last month
• ranea / ArxPy

  View on GitHub
  Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.
  ☆33May 7, 2023Updated 2 years ago
• cryptolu / sparkle

  View on GitHub
  Sparkle, Schwaemm and Esch: Lightweight Symmetric Cryptography for the Internet of Things
  ☆36Feb 22, 2023Updated 2 years ago
• xbonnetain / optimization-subset-sum

  View on GitHub
  Numerical optimization code for classical and quantum subset-sum algorithms
  ☆10Feb 14, 2020Updated 6 years ago
• AISyLab / Denoising-autoencoder

  View on GitHub
  Repository code to support paper TCHES2020 paper "Remove Some Noise: On Pre-processing of Side-channel Measurements with Autoencoders"
  ☆13Jun 4, 2022Updated 3 years ago
• lxj-sjtu / TCHES2021_Pay_attention_to_the_raw_traces

  View on GitHub
  ☆12Jun 22, 2021Updated 4 years ago
• trevphil / cryptosym

  View on GitHub
  SAT-based, MILP, and belief propagation preimage attacks on SHA-256 and other cryptographic hash functions
  ☆39Dec 8, 2022Updated 3 years ago
• newaetech / wiki.newae.com

  View on GitHub
  This is a GIT syncronization of https://wiki.newae.com
  ☆10Feb 21, 2018Updated 7 years ago
• geonm / tf_SoftTriple_loss

  View on GitHub
  Tensorflow implementation of SoftTriple Loss: Deep Metric Learning Without Triplet Sampling
  ☆10Sep 26, 2019Updated 6 years ago
• KULeuven-COSIC / UnrolledBlockCiphers

  View on GitHub
  ☆10Apr 18, 2017Updated 8 years ago
• peigen-sboxes / PEIGEN

  View on GitHub
  An open source project for study S-boxes
  ☆45Sep 28, 2022Updated 3 years ago
• NymeriaWang / DeepLearning_SCA_ASCAD

  View on GitHub
  Recent works have demonstrated that deep learning algorithms were very efficient to conduct security evaluations of embedded systems and …
  ☆14Mar 13, 2019Updated 6 years ago
• hadipourh / DL

  View on GitHub
  Revisiting Differential-Linear Attacks via a Boomerang Perspective
  ☆11Nov 26, 2025Updated 2 months ago
• suvadeep-iitb / EstraNet

  View on GitHub
  EstraNet: An Efficient Shift-Invariant Transformer Network for Side Channel Analysis
  ☆11Aug 26, 2025Updated 5 months ago
• kste / haraka

  View on GitHub
  Haraka is a secure and efficient short-input hash function.
  ☆59Sep 26, 2017Updated 8 years ago
• GaPhil / dpa

  View on GitHub
  Side Channel Attack: Differential Power Analysis (DPA) on AES encryption algorithm to deduce secret keys
  ☆12Mar 5, 2018Updated 7 years ago
• AISyLab / Triplet-attack

  View on GitHub
  ☆13Feb 8, 2022Updated 4 years ago
• NymeriaWang / Advanced-Far-Field-EM-Side-Channel-Attack-onAES-Based-on-Deep-Learning

  View on GitHub
  The reporitory contains scripts and data used in the paper <Advanced Far Field EM Side-Channel Attack on AES Based on Deep Learning>. Thi…
  ☆12Jun 24, 2021Updated 4 years ago
• DhavalKapil / MusicComposer

  View on GitHub
  A music generator that makes pleasing music based on western music theory
  ☆13Jul 19, 2017Updated 8 years ago
• AESHD / AES_HD_Dataset

  View on GitHub
  ☆12Jul 13, 2018Updated 7 years ago
• Deadlyelder / Tools-for-Cryptanalysis

  View on GitHub
  A repository that aims to provide tools for cryptography and cryptanalysis
  ☆217Jun 24, 2020Updated 5 years ago
• itagn / InstantMessageSystem

  View on GitHub
  本科毕业设计：基于DES加密的即时通信聊天系统
  ☆15Sep 19, 2018Updated 7 years ago
• gabzai / Ranking-Loss-SCA

  View on GitHub
  ☆17Jul 31, 2022Updated 3 years ago
• ITSC-Group / sca-datasets

  View on GitHub
  Collection of metadata of different Side Channel Attack datasets
  ☆19Jul 4, 2023Updated 2 years ago