Paper 2026/121
Integrating Boomerang into TAGADA
Abstract
Since 2009, the cryptographic community has its eyes fixed on automatic tools based on solvers to help the cryptanalysts trying to attack symmetric cryptographic schemes. Among those automatic tools, TAGADA is dedicated to search for a particular kind of cryptanalysis called differential cryptanalysis. It is of major importance for the cryptographic community to have automatic tools dedicated to the analysis of security of symmetric key primitives to be convince about what symmetric key schemes should be used and what symmetric key schemes should not be used. In this paper, we will see how to extend TAGADA from differential cryptanalysis to boomerang cryptanalysis which is an important kind of attacks in symmetric key cryptography. We will also compare our tool with the two existing ones dedicated to boomerang distinguishers proposed by Hadipour et al. and Derbez et al.
Metadata
- Available format(s)
-
PDF
- Category
- Attacks and cryptanalysis
- Publication info
- Preprint.
- Keywords
- Automatic toolsMILPSATCPdifferential cryptanalysisboomerang cryptanalysisblock ciphersTAGADA
- Contact author(s)
-
rocco brunelli @ uniroma3 it
marine minier @ loria fr
loic rouquette @ epita fr - History
- 2026-01-26: approved
- 2026-01-25: received
- See all versions
- Short URL
- https://ia.cr/2026/121
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2026/121,
author = {Rocco Brunelli and Marine Minier and Loïc Rouquette},
title = {Integrating Boomerang into {TAGADA}},
howpublished = {Cryptology {ePrint} Archive, Paper 2026/121},
year = {2026},
url = {https://eprint.iacr.org/2026/121}
}
