[en] The Fiat-Shamir transformation is a key technique for removing interactivity from cryptographic proof systems in real-world applications. In this work, we discuss five types of Fiat-Shamir-related protocol design errors and illustrate them with concrete examples mainly taken from real-life applications. We discuss countermeasures for such vulnerabilities.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > CryptoLUX – Cryptography NCER-FT - FinTech National Centre of Excellence in Research
Disciplines :
Computer science
Author, co-author :
Hieu Nguyen DUY; Unilu - University of Luxembourg [LU] > Interdisciplinary Centre for Security, Reliability and Trust (SnT) > CryptoLUX ; Verichains
Ho, Uyen; Verichains
BIRYUKOV, Alexei ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) ; Unilu - University of Luxembourg [LU] > SnT
External co-authors :
yes
Language :
English
Title :
Fiat-Shamir in the Wild
Publication date :
2024
Event name :
International Conference on Cyber Security Cryptography and Machine Learning (CSCML)3
Event place :
Beer-Sheva, Israel
Event date :
19-Dec-2024
Audience :
International
Main work title :
Cyber Security, Cryptology, and Machine Learning - 8th International Symposium, Proceedings
Publisher :
Springer, Germany
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
FnR Project :
CryptoFin C22/IS/17415825
Name of the research project :
CryptoFin
Funders :
FNR - Fonds National de la Recherche
Funding number :
C22/IS/17415825
Funding text :
This research was funded in part by the Luxembourg National Research Fund (FNR), project CryptoFin C22/IS/17415825, it is in the scope of grant reference NCER22/IS/16570468/NCER-FT.
Commentary :
New Frontiers of Digital and Automated Finance; Trust and Security
