A SAT-based preimage analysis of reduced KECCAK hash functions

被引：28
|
作者：
Morawiecki, Pawel [1 ,2 ]
Srebrny, Marian [1 ,2 ]
机构：
[1] Kielce Univ Commerce, PL-25562 Kielce, Poland
[2] Polish Acad Sci, Inst Comp Sci, PL-01237 Warsaw, Poland
来源：
INFORMATION PROCESSING LETTERS | 2013年 / 113卷 / 10-11期
关键词：
Cryptography; Hash functions; KECCAK; Algebraic cryptanalysis; Logical cryptanalysis; SAT solvers; CRYPTANALYSIS; SOLVERS;
D O I：
10.1016/j.ipl.2013.03.004
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we present a preimage attack on reduced versions of KECCAK hash functions. We use our recently developed toolkit CryptLogVer for generating the conjunctive normal form, CNF, which is passed to the SAT solver PrecoSAT. We found preimages for some reduced versions of the function and showed that full KECCAK function has a comfortable security margin against this kind of attack. (C) 2013 Elsevier B.V. All rights reserved.
引用
收藏
页码：392 / 397
页数：6
相关论文
共 50 条
  • [1] Preimage attacks on reduced-round Keccak hash functions by solving algebraic systems
    Pei, Junling
    Chen, Lusheng
    [J]. IET INFORMATION SECURITY, 2023, 17 (03) : 394 - 406
  • [2] A Preimage Attack on Reduced GIMLI-HASH
    Lee, Yongseong
    Kang, Jinkeon
    Chang, Donghoon
    Hong, Seokhie
    [J]. INFORMATION SECURITY AND CRYPTOLOGY, ICISC 2021, 2022, 13218 : 217 - 237
  • [3] SAT-based Analysis of Sensitisable Paths
    Sauer, Matthias
    Czutro, Alexander
    Schubert, Tobias
    Hillebrecht, Stefan
    Polian, Ilia
    Becker, Bernd
    [J]. 2011 IEEE 14TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS (DDECS), 2011, : 93 - 98
  • [4] SAT-based analysis of cellular automata
    D'Antonio, M
    Delzanno, G
    [J]. CELLULAR AUTOMATA, PROCEEDINGS, 2004, 3305 : 745 - 754
  • [5] SAT-Based Analysis of Sensitizable Paths
    Sauer, Matthias
    Czutro, Alexander
    Schubert, Tobias
    Hillebrecht, Stefan
    Becker, Bernd
    Polian, Ilia
    [J]. IEEE DESIGN & TEST, 2013, 30 (04) : 81 - 88
  • [6] Second preimage attacks on dithered hash functions
    Andreeva, Elena
    Bouillaguet, Charles
    Fouque, Pierre-Alain
    Hoch, Jonathan J.
    Kelsey, John
    Shamir, Adi
    Zimmer, Sebastien
    [J]. ADVANCES IN CRYPTOLOGY - EUROCRYPT 2008, 2008, 4965 : 270 - +
  • [7] QUANTUM ROTATIONAL CRYPTANALYSIS FOR PREIMAGE RECOVER OF ROUND-REDUCED Keccak
    Wang, Runsong
    Li, Xueliang
    Gao, Juntao
    Li, Hui
    Wang, Baocang
    [J]. QUANTUM INFORMATION & COMPUTATION, 2023, 23 (3-4) : 223 - 245
  • [8] Differential-Aided Preimage Attacks On Round-Reduced Keccak
    Wei, Congming
    Dong, Xiaoyang
    Meier, Willi
    Qin, Lingyue
    Fu, Ximing
    [J]. COMPUTER JOURNAL, 2023, 66 (12): : 3069 - 3091
  • [9] QUANTUM ROTATIONAL CRYPTANALYSIS FOR PREIMAGE RECOVER OF ROUND-REDUCED Keccak
    Wang R.
    Li X.
    Gao J.
    Li H.
    Wang B.
    [J]. Quantum Information and Computation, 2023, 23 (3-4): : 223 - 245
  • [10] Neural Fault Analysis for SAT-based ATPG
    Huang, Junhua
    Zhen, Hui-Ling
    Wang, Naixing
    Mao, Hui
    Yuan, Mingxuan
    Huang, Yu
    [J]. 2022 IEEE INTERNATIONAL TEST CONFERENCE (ITC), 2022, : 36 - 45
12345