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 PICCOLISecondo
;M. Formenti;S. Pelizzola;S. PolesePenultimo
;A. ViscontiUltimo
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.
| File | Dimensione | Formato | |
|---|---|---|---|
|
Solvers_comparison_camera ready.pdf
embargo fino al 31/10/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 Richiedi una copia |
|
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.
