Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives

DOI10.1007/978-981-99-7563-1_13MaRDI QIDQ6550653zbMATH OpenFDO

Authors Emanuele Bellini, Alessandro De Piccoli, Mattia Formenti, David Gérault, Paul Huynh, Simone Pelizzola, Sergio Polese, Andrea Visconti

Publication date 5 June 2024

zbMATH Keywords

CPSATSMTdifferential cryptanalysisMILP

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Differential and Linear Cryptanalysis Using Mixed-Integer Linear Programming
• Parallel SAT framework to find clustering of differential characteristics and its applications
• Applications of SAT solvers in cryptanalysis: finding weak keys and preimages
• A CP-based automatic tool for instantiating truncated differential characteristics
• Logical cryptanalysis as a SAT problem

Cited in

(3)

• CLAASP: a cryptographic library for the automated analysis of symmetric primitives
• Parallel SAT framework to find clustering of differential characteristics and its applications
• A CP-based automatic tool for instantiating truncated differential characteristics

This page was built for publication: Differential cryptanalysis with SAT, SMT, MILP, and CP: a detailed comparison for bit-oriented primitives

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6550653)