ZKFault: Fault Attack Analysis on Zero-Knowledge Based Post-quantum Digital Signature Schemes

被引:0
|
作者
Mondal, Puja [1 ]
Adhikary, Supriya [1 ]
Kundu, Suparna [2 ]
Karmakar, Angshuman [1 ]
机构
[1] IIT Kanpur, Dept Comp Sci & Engn, Kanpur, Uttar Pradesh, India
[2] Katholieke Univ Leuven, COSIC, Kasteelpk Arenberg 10,Bus 2452, B-3001 Leuven, Belgium
来源
ADVANCES IN CRYPTOLOGY - ASIACRYPT 2024, PT VIII | 2025年 / 15491卷
基金
欧盟地平线“2020”;
关键词
Post-quantum cryptography; Post-quantum signature; Code-based cryptography; Fault attacks; LESS; CROSS;
D O I
10.1007/978-981-96-0944-4_5
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Computationally hard problems based on coding theory, such as the syndrome decoding problem, have been used for constructing secure cryptographic schemes for a long time. Schemes based on these problems are also assumed to be secure against quantum computers. However, these schemes are often considered impractical for real-world deployment due to large key sizes and inefficient computation time. In the recent call for standardization of additional post-quantum digital signatures by the National Institute of Standards and Technology, several code-based candidates have been proposed, including LESS, CROSS, and MEDS. These schemes are designed on the relatively new zero-knowledge framework. Although several works analyze the hardness of these schemes, there is hardly any work that examines the security of these schemes in the presence of physical attacks. In this work, we analyze these signature schemes from the perspective of fault attacks. All these schemes use a similar tree-based construction to compress the signature size. We attack this component of these schemes. Therefore, our attack is applicable to all of these schemes. In this work, we first analyze the LESS signature scheme and devise our attack. Furthermore, we showed how this attack can be extended to the CROSS signature scheme. Our attacks are built on very simple fault assumptions. Our results show that we can recover the entire secret key of LESS and CROSS using as little as a single fault. Finally, we propose various countermeasures to prevent these kinds of attacks and discuss their efficiency and shortcomings.
引用
收藏
页码:132 / 167
页数:36
相关论文
共 50 条
  • [31] An Efficient Post-quantum Identity-Based Signature
    YANG Zhichao
    DUNG H.Duong
    WILLY Susilo
    YANG Guomin
    LI Chao
    CHEN Rongmao
    ChineseJournalofElectronics, 2021, 30 (02) : 238 - 248
  • [32] An Efficient Post-quantum Identity-Based Signature
    Zhichao, Yang
    Duong, Dung H.
    Susilo, Willy
    Guomin, Yang
    Chao, Li
    Rongmao, Chen
    CHINESE JOURNAL OF ELECTRONICS, 2021, 30 (02) : 238 - 248
  • [33] Post-Quantum Zero Knowledge, Revisited or: How to Do Quantum Rewinding Undetectably
    Lombardi, Alex
    Ma, Fermi
    Spooner, Nicholas
    2022 IEEE 63RD ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS), 2022, : 851 - 859
  • [34] Insider Forgery Cryptanalysis of Two Post-quantum Multi-signature Schemes
    Kong, Fanyu
    Diao, Luhong
    Yu, Jia
    Jiang, Yali
    Zhou, Dashui
    INDUSTRIAL DESIGN AND MECHANICS POWER II, 2013, 437 : 876 - +
  • [35] Practical Post-Quantum Signature Schemes from Isomorphism Problems of Trilinear Forms
    Tang, Gang
    Duong, Dung Hoang
    Joux, Antoine
    Plantard, Thomas
    Qiao, Youming
    Susilo, Willy
    ADVANCES IN CRYPTOLOGY - EUROCRYPT 2022, PT III, 2022, 13277 : 582 - 612
  • [36] VDOO: A Short, Fast, Post-quantum Multivariate Digital Signature Scheme
    Ganguly, Anindya
    Karmakar, Angshuman
    Saxena, Nitin
    PROGRESS IN CRYPTOLOGY - INDOCRYPT 2023, PT II, 2024, 14460 : 197 - 222
  • [37] Smart Digital Signatures (SDS): A post-quantum digital signature scheme for distributed ledgers
    Shahid, Furqan
    Khan, Abid
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2020, 111 : 241 - 253
  • [38] Group Signature Based on Non-interactive Zero-Knowledge Proofs
    Zhou Fucai
    Xu Jian
    Li Hui
    Wang Lanlan
    CHINA COMMUNICATIONS, 2011, 8 (02) : 34 - 41
  • [39] Formalization and analysis of the post-quantum signature scheme FALCON with Maude
    Garcia, Victor
    Escobar, Santiago
    Ogata, Kazuhiro
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2025, 143
  • [40] Review and Analysis of the Classical and Post-Quantum Ring Signature Algorithms
    Leevik, Anton
    Beliaev, Vladislav
    Stasenko, Boris
    Davydov, Vadim
    Bezzateev, Sergey
    2020 12TH INTERNATIONAL CONGRESS ON ULTRA MODERN TELECOMMUNICATIONS AND CONTROL SYSTEMS AND WORKSHOPS (ICUMT 2020), 2020, : 105 - 112