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

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

26 Citationer (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.

Originalsprog	Engelsk
Titel	SECRYPT
Redaktører	Pierangela Samarati, Mohammad S. Obaidat, Enrique Cabello
Antal sider	10
Forlag	SCITEPRESS – Science and Technology Publications
Publikationsdato	2017
Sider	237-246
ISBN (Elektronisk)	9789897582592
DOI	https://doi.org/10.5220/0006387302370246
Status	Udgivet - 2017
Begivenhed	14th International Joint Conference on e-Business and Telecommunications, ICETE 2017 - Madrid, Spanien Varighed: 24 jul. 2017 → 26 jul. 2017

Konference

Konference	14th International Joint Conference on e-Business and Telecommunications, ICETE 2017
Land/Område	Spanien
By	Madrid
Periode	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)

Navn	ICETE 2017 - Proceedings of the 14th International Joint Conference on e-Business and Telecommunications
Vol/bind	4

Bibliografisk note

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

Adgang til dokumentet

10.5220/0006387302370246

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

Link to publication in Scopus

Citationsformater

Dwivedi, Ashutosh Dhar ; Klouček, Miloš ; Morawiecki, Pawel et al. / SAT-based cryptanalysis of authenticated ciphers from the CAESAR competition. SECRYPT. red. / Pierangela Samarati ; Mohammad S. Obaidat ; Enrique Cabello. SCITEPRESS – Science and Technology Publications, 2017. s. 237-246 (ICETE 2017 - Proceedings of the 14th International Joint Conference on e-Business and Telecommunications, Bind 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. i P Samarati, MS Obaidat & E Cabello (red), SECRYPT. SCITEPRESS – Science and Technology Publications, ICETE 2017 - Proceedings of the 14th International Joint Conference on e-Business and Telecommunications, bind 4, s. 237-246, 14th International Joint Conference on e-Business and Telecommunications, ICETE 2017, Madrid, Spanien, 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. red. / Pierangela Samarati; Mohammad S. Obaidat; Enrique Cabello. SCITEPRESS – Science and Technology Publications, 2017. s. 237-246 (ICETE 2017 - Proceedings of the 14th International Joint Conference on e-Business and Telecommunications, Bind 4).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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. I Samarati P, Obaidat MS, Cabello E, red., SECRYPT. SCITEPRESS – Science and Technology Publications. 2017. s. 237-246. (ICETE 2017 - Proceedings of the 14th International Joint Conference on e-Business and Telecommunications, Bind 4). doi: 10.5220/0006387302370246

SAT-based cryptanalysis of authenticated ciphers from the CAESAR competition

Abstract

Konference

Bibliografisk note

Adgang til dokumentet

AUB Link

Andre filer og links

Fingeraftryk

Citationsformater