Finding Collisions for Round-Reduced Romulus-H

Marcel Nageler*, Felix Pallua, Maria Eichlseder

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Abstract

The hash function Romulus-H is a finalist in the NIST Lightweight Cryptography competition. It is based on the Hirose double block-length (DBL) construction which is provably secure when used with an ideal block cipher. However, in practice, ideal block ciphers can only be approximated. Therefore, the security of concrete instantiations must be cryptanalyzed carefully; the security margin may be higher or lower than in the secret-key setting. So far, the Hirose DBL construction has been studied with only a few other block ciphers, like IDEA and AES. However, Romulus-H uses Hirose DBL with the SKINNY block cipher where only very little analysis has been published so far. In this work, we present the first practical analysis of Romulus-H. We propose a new framework for finding collisions in hash functions based on the Hirose DBL construction. This is in contrast to previous work that only focused on free-start collisions. Our framework is based on the idea of joint differential characteristics which capture the relationship between the two block cipher calls in the Hirose DBL construction. To identify good joint differential characteristics, we propose a combination of MILP and CP models. Then, we use these characteristics in another CP model to find collisions. Finally, we apply this framework to Romulus-H and find practical collisions of the hash function for 10 out of 40 rounds and practical semi-free-start collisions for up to 14 rounds.
Original languageEnglish
Pages (from-to)67-88
Number of pages22
JournalIACR Transactions on Symmetric Cryptology
Volume2023
Issue number1
DOIs
Publication statusPublished - 10 Mar 2023

Keywords

  • Differential cryptanalysis
  • Hash functions
  • MILP
  • Romulus-H
  • SMT

ASJC Scopus subject areas

  • Software
  • Computational Mathematics
  • Applied Mathematics
  • Computer Science Applications

Fingerprint

Dive into the research topics of 'Finding Collisions for Round-Reduced Romulus-H'. Together they form a unique fingerprint.

Cite this