SAT, SMT, MILP, and CP, have become prominent in the differential cryptanalysis of cryptographic primitives. In this paper, we review the techniques for constructing differential characteristic search models in these four formalisms. Additionally, we perform a system- atic comparison encompassing over 20 cryptographic primitives and 16 solvers, on both easy and hard instances of optimisation, enumeration and differential probability estimation problems.

Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives / E. Bellini, A. DE PICCOLI, M. Formenti, D. Gerault, P. Huynh, S. Pelizzola, S. Polese, A. Visconti (LECTURE NOTES IN COMPUTER SCIENCE). - In: Cryptology and Network Security / [a cura di] Deng, J., Kolesnikov, V., Schwarzmann, A.A.. - Cham : Springer Singapore, 2023. - ISBN 978-981-99-7562-4. - pp. 268-292 (( Intervento presentato al 22. convegno International Conference on Cryptology and Network Security, CANS tenutosi a Augusta : 31 oct-2 nov nel 2023 [10.1007/978-981-99-7563-1_13].

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

A. DE PICCOLI
Secondo
;
M. Formenti;S. Pelizzola;S. Polese
Penultimo
;
A. Visconti
Ultimo
2023

Abstract

SAT, SMT, MILP, and CP, have become prominent in the differential cryptanalysis of cryptographic primitives. In this paper, we review the techniques for constructing differential characteristic search models in these four formalisms. Additionally, we perform a system- atic comparison encompassing over 20 cryptographic primitives and 16 solvers, on both easy and hard instances of optimisation, enumeration and differential probability estimation problems.
CP; Differential cryptanalysis; MILP; SAT; SMT
Settore INF/01 - Informatica
2023
Book Part (author)
File in questo prodotto:
File Dimensione Formato  
Solvers_comparison_camera ready.pdf

Open Access dal 01/11/2024

Tipologia: Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione 418.66 kB
Formato Adobe PDF
418.66 kB Adobe PDF Visualizza/Apri
978-981-99-7563-1_13.pdf

accesso riservato

Descrizione: Conference Paper
Tipologia: Publisher's version/PDF
Dimensione 540.59 kB
Formato Adobe PDF
540.59 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/1019981
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact