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

doi:10.5220/0006387302370246

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

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

26 Citations (Scopus)

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.

Original language	English
Title of host publication	SECRYPT
Editors	Pierangela Samarati, Mohammad S. Obaidat, Enrique Cabello
Number of pages	10
Publisher	SCITEPRESS – Science and Technology Publications
Publication date	2017
Pages	237-246
ISBN (Electronic)	9789897582592
DOIs	https://doi.org/10.5220/0006387302370246
Publication status	Published - 2017
Event	14th International Joint Conference on e-Business and Telecommunications, ICETE 2017 - Madrid, Spain Duration: 24 Jul 2017 → 26 Jul 2017

Conference

Conference	14th International Joint Conference on e-Business and Telecommunications, ICETE 2017
Country/Territory	Spain
City	Madrid
Period	24/07/2017 → 26/07/2017
Sponsor	Institute for Systems and Technologies of Information, Control and Communication (INSTICC), Object Management Group (OMG), The Foundation for Intelligent Physical Agents (FIPA), Workflow Management Coalition (WfMC)

Series	ICETE 2017 - Proceedings of the 14th International Joint Conference on e-Business and Telecommunications
Volume	4

Bibliographical note

Publisher Copyright:
Copyright © 2017 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.

Keywords

Authenticated Encryption
CAESAR
Logic Cryptanalysis
SAT Solvers
SAT-based Cryptanalysis

Access to Document

10.5220/0006387302370246

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Dwivedi, Ashutosh Dhar ; Klouček, Miloš ; Morawiecki, Pawel et al. / SAT-based cryptanalysis of authenticated ciphers from the CAESAR competition. SECRYPT. editor / Pierangela Samarati ; Mohammad S. Obaidat ; Enrique Cabello. SCITEPRESS – Science and Technology Publications, 2017. pp. 237-246 (ICETE 2017 - Proceedings of the 14th International Joint Conference on e-Business and Telecommunications, Vol. 4).

@inproceedings{72e896d7d9c940398220e48c005886cb,

title = "SAT-based cryptanalysis of authenticated ciphers from the CAESAR competition",

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.",

keywords = "Authenticated Encryption, CAESAR, Logic Cryptanalysis, SAT Solvers, SAT-based Cryptanalysis",

author = "Dwivedi, {Ashutosh Dhar} and Milo{\v s} Klou{\v c}ek and Pawel Morawiecki and Ivica Nikoli{\'c} and Josef Pieprzyk and Sebastian W{\'o}jtowicz",

note = "Publisher Copyright: Copyright {\textcopyright} 2017 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.; 14th International Joint Conference on e-Business and Telecommunications, ICETE 2017 ; Conference date: 24-07-2017 Through 26-07-2017",

year = "2017",

doi = "10.5220/0006387302370246",

language = "English",

series = "ICETE 2017 - Proceedings of the 14th International Joint Conference on e-Business and Telecommunications",

pages = "237--246",

editor = "Pierangela Samarati and Obaidat, {Mohammad S.} and Enrique Cabello",

booktitle = "SECRYPT",

publisher = "SCITEPRESS – Science and Technology Publications",

}

Dwivedi, AD, Klouček, M, Morawiecki, P, Nikolić, I, Pieprzyk, J & Wójtowicz, S 2017, SAT-based cryptanalysis of authenticated ciphers from the CAESAR competition. in P Samarati, MS Obaidat & E Cabello (eds), SECRYPT. SCITEPRESS – Science and Technology Publications, ICETE 2017 - Proceedings of the 14th International Joint Conference on e-Business and Telecommunications, vol. 4, pp. 237-246, 14th International Joint Conference on e-Business and Telecommunications, ICETE 2017, Madrid, Spain, 24/07/2017. https://doi.org/10.5220/0006387302370246

SAT-based cryptanalysis of authenticated ciphers from the CAESAR competition. / Dwivedi, Ashutosh Dhar; Klouček, Miloš; Morawiecki, Pawel et al.
SECRYPT. ed. / Pierangela Samarati; Mohammad S. Obaidat; Enrique Cabello. SCITEPRESS – Science and Technology Publications, 2017. p. 237-246 (ICETE 2017 - Proceedings of the 14th International Joint Conference on e-Business and Telecommunications, Vol. 4).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - SAT-based cryptanalysis of authenticated ciphers from the CAESAR competition

AU - Dwivedi, Ashutosh Dhar

AU - Klouček, Miloš

AU - Morawiecki, Pawel

AU - Nikolić, Ivica

AU - Pieprzyk, Josef

AU - Wójtowicz, Sebastian

PY - 2017

Y1 - 2017

N2 - 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.

AB - 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.

KW - Authenticated Encryption

KW - CAESAR

KW - Logic Cryptanalysis

KW - SAT Solvers

KW - SAT-based Cryptanalysis

UR - http://www.scopus.com/inward/record.url?scp=85029408098&partnerID=8YFLogxK

U2 - 10.5220/0006387302370246

DO - 10.5220/0006387302370246

M3 - Article in proceeding

AN - SCOPUS:85029408098

T3 - ICETE 2017 - Proceedings of the 14th International Joint Conference on e-Business and Telecommunications

SP - 237

EP - 246

BT - SECRYPT

A2 - Samarati, Pierangela

A2 - Obaidat, Mohammad S.

A2 - Cabello, Enrique

PB - SCITEPRESS – Science and Technology Publications

T2 - 14th International Joint Conference on e-Business and Telecommunications, ICETE 2017

Y2 - 24 July 2017 through 26 July 2017

ER -

Dwivedi AD, Klouček M, Morawiecki P, Nikolić I, Pieprzyk J, Wójtowicz S. SAT-based cryptanalysis of authenticated ciphers from the CAESAR competition. In Samarati P, Obaidat MS, Cabello E, editors, SECRYPT. SCITEPRESS – Science and Technology Publications. 2017. p. 237-246. (ICETE 2017 - Proceedings of the 14th International Joint Conference on e-Business and Telecommunications, Vol. 4). doi: 10.5220/0006387302370246

SAT-based cryptanalysis of authenticated ciphers from the CAESAR competition

Abstract

Conference

Bibliographical note

Keywords

Access to Document

AUB Link

Other files and links

Fingerprint

Cite this