SAT-based Cryptanalysis of Authenticated Ciphers from the CAESAR Competition

Ashutosh Dhar Dwivedi, Miloš Klouček, Pawel Morawiecki, Ivica Nikolić, Josef Pieprzyk, Sebastian Wójtowicz

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

64 Downloads (Pure)

Abstract

We investigate six authenticated encryption schemes (ACORN, ASCON-128a, ICEPOLE-128a, Ketje Jr, MORUS, and NORX-32) from the CAESAR competition. We aim at state recovery attacks using a SAT solver as a main tool. Our analysis reveals that these schemes, as submitted to CAESAR, provide strong resistance against SAT-based state recoveries. To shed a light on their security margins, we also analyse modified versions of these algorithms, including round-reduced variants and versions with higher security claims. Our attacks on such variants require only a few known plaintext-ciphertext pairs and small memory requirements (to run the SAT solver), whereas time complexity varies from very practical (few seconds on a desktop PC) to 'theoretical' attacks.
OriginalsprogEngelsk
TitelProceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017) : Volume 4: SECRYPT
RedaktørerPierangela Samarati, Mohammad S. Obaidat, Enrique Cabello
Antal sider10
ForlagSCITEPRESS Digital Library
Publikationsdato2017
Sider237-246
ISBN (Elektronisk)9789897582592
DOI
StatusUdgivet - 2017
Udgivet eksterntJa
Begivenhed14th International Joint Conference on e-Business and Telecommunications. ICETE 2017 - Madrid, Spanien
Varighed: 24 jul. 201726 jul. 2017
Konferencens nummer: 14

Konference

Konference14th International Joint Conference on e-Business and Telecommunications. ICETE 2017
Nummer14
Land/OmrådeSpanien
ByMadrid
Periode24/07/201726/07/2017
SponsorInstitute for Systems and Technologies of Information, Control and Communication, Object Management Group, The Foundation for Intelligent Physical Agents, Workflow Management Coalition (WfMC)
NavnProceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017)
Nummer4
ISSN2184-2825

Citationsformater