Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives

No abstract is available for this paper.

• Publication year

  2023

• Venue

  Cryptology and Network Security

• Publication date

  Unknown publication date

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/978-981-99-7563-1_13
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• On Two Factors Affecting the Efficiency of MILP Models in Automated Cryptanalyses

  2023cited by this paper
• Monte Carlo Tree Search for Automatic Differential Characteristics Search: Application to SPECK

  2022cited by this paper
• SuperBall: A New Approach for MILP Modelings of Boolean Functions

  2022cited by this paper
• Efficient Methods to Search for Best Differential Characteristics on SKINNY

  2021cited by this paper
• Accelerating the Search of Differential and Linear Characteristics with the SAT Method

  2021influential reference
• Computing AES related-key differential characteristics with constraint programming

  2020cited by this paper
• SKINNY with Scalpel - Comparing Tools for Differential Analysis

  2020cited by this paper
• Efficient MILP Modelings for Sboxes and Linear Layers of SPN ciphers

  2020cited by this paper
• Mind the Gap - A Closer Look at the Security of Block Ciphers against Differential Cryptanalysis

  2018influential reference
• Revisiting AES Related-Key Differential Attacks with Constraint Programming

  2018cited by this paper
• Analysis of AES, SKINNY, and Others with Constraint Programming

  2017cited by this paper
• Optimal Differential Trails in SIMON-like Ciphers

  2017cited by this paper
• MILP Modeling for (Large) S-boxes to Optimize Probability of Differential Characteristics

  2017influential reference
• Logic Minimization Algorithms For Vlsi Synthesis

  2016cited by this paper
• MILP-Based Automatic Search Algorithms for Differential and Linear Trails for Speck

  2016cited by this paper
• Observations on the SIMON Block Cipher Family

  2015cited by this paper
• Yices 2.2

  2014influential reference
• Boolector 2.0

  2014cited by this paper
• Differential Cryptanalysis of Round-Reduced Simon and Speck

  2014cited by this paper
• Automatic Security Evaluation and (Related-key) Differential Characteristic Search: Application to SIMON, PRESENT, LBlock, DES(L) and Other Bit-Oriented Block Ciphers

  2014cited by this paper
• The MathSAT5 SMT Solver

  2013influential reference
• GLPK (GNU Linear Programming Kit)

  2012cited by this paper
• Differential and Linear Cryptanalysis Using Mixed-Integer Linear Programming

  2011cited by this paper
• A machine program for theorem-proving

  2011cited by this paper
• Extending SAT Solvers to Cryptographic Problems

  2009influential reference
• Z3: An Efficient SMT Solver

  2008influential reference
• A Decision Procedure for Bit-Vectors and Arrays

  2007cited by this paper
• MiniZinc: Towards a Standard CP Modelling Language

  2007cited by this paper
• Handbook of Constraint Programming

  2006cited by this paper
• An Extensible SAT-solver

  2003influential reference
• Efficient Algorithms for Computing Differential Properties of Addition

  2001cited by this paper
• GRASP: A Search Algorithm for Propositional Satisfiability

  1999cited by this paper
• A New Method for Known Plaintext Attack of FEAL Cipher

  1992influential reference
• A Branch-and-Cut Algorithm for the Resolution of Large-Scale Symmetric Traveling Salesman Problems

  1991cited by this paper
• Differential cryptanalysis of DES-like cryptosystems

  1990cited by this paper
• Minimization of Boolean Functions

  1971cited by this paper
• An Automatic Method of Solving Discrete Programming Problems

  1960cited by this paper
• A Computing Procedure for Quantification Theory

  1960cited by this paper
• A Way to Simplify Truth Functions

  1955cited by this paper
• The Problem of Simplifying Truth Functions

  1952cited by this paper

• BONC: a framework for automatic cryptanalysis using the implementation code

  2026cites this paper
• Integrating Boomerang into TAGADA

  2026cites this paper
• Practical Collision Attacks on Reduced-Round Xoodyak Hash Mode

  2025influential citation
• Differential cryptanalysis of the lightweight block cipher LELBC

  2025cites this paper
• Impossible Differential Attack on Round‐Reduced SLIM

  2025cites this paper
• Parallel SAT Framework to Find Clustering of Differential Characteristics and Its Applications

  2025cites this paper
• A Fisher–Yates Shuffle in a Hardened Merkle–Damgård hash for the blockchain's PoW

  2025cites this paper
• Collision Attacks on SPONGENT with Grouping Method

  2025cites this paper
• Design and assessment of lightweight cryptographic algorithms on ESP32 and STM32 for IoD security

  2025cites this paper
• A new automatic framework for searching rotational-XOR differential characteristics in ARX ciphers

  2025influential citation
• Differential Cryptanalysis of a Lightweight Block Cipher LELBC

  2024cites this paper
• Comparative Analysis of SMT Solvers for Differential Cryptanalysis of SHA-2

  year unknowncites this paper