International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Ultrametric integral cryptanalysis

Authors:
Tim Beyne , COSIC, KU Leuven
Michiel Verbauwhede , COSIC, KU Leuven
Download:
Search ePrint
Search Google
Presentation: Slides
Conference: ASIACRYPT 2024
Abstract: A systematic method to analyze divisibility properties is proposed. In integral cryptanalysis, divisibility properties interpolate between bits that sum to zero (divisibility by two) and saturated bits (divisibility by $2^{n - 1}$ for $2^n$ inputs). From a theoretical point of view, we construct a new cryptanalytic technique that is a non-Archimedean multiplicative analogue of linear cryptanalysis. It lifts integral cryptanalysis to characteristic zero in the sense that, if all quantities are reduced modulo two, then one recovers the algebraic theory of integral cryptanalysis. The new technique leads to a theory of trails. We develop a tool based on off-the-shelf solvers that automates the analysis of these trails and use it to show that many integral distinguishers on Present and Simon are stronger than expected.
BibTeX
@inproceedings{asiacrypt-2024-34507,
  title={Ultrametric integral cryptanalysis},
  publisher={Springer-Verlag},
  author={Tim Beyne and Michiel Verbauwhede},
  year=2024
}