Fixing and mechanizing the security proof of Fiat-Shamir with aborts and Dilithium

DOI10.1007/978-3-031-38554-4_12MaRDI QIDQ6190143

Yi Lee, Benjamin Grégoire, Xiaodi Wu, Andreas Hülsing, Serge Fehr, Christian Doczkal, Yu-Hsuan Huang, Jelle Don, Gilles Barthe, Manuel Barbosa

Publication date: 6 February 2024

Published in: Advances in Cryptology – CRYPTO 2023 (Search for Journal in Brave)

zbMATH Keywords

QROMFiat-Shamir with abortsLyubashevsky signature

Mathematics Subject Classification ID

Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Cites Work

• A concrete treatment of Fiat-Shamir signatures in the quantum random-oracle model
• Group signatures and more from isogenies and lattices: generic, simple, and efficient
• SeaSign: compact isogeny signatures from class group actions
• How to record quantum queries, and applications to quantum indifferentiability
• Calamari and Falafl: logarithmic (linkable) ring signatures from isogenies and lattices
• Lattice Signatures without Trapdoors
• Fiat-Shamir with Aborts: Applications to Lattice and Factoring-Based Signatures
• Lattice-based zero-knowledge proofs and applications: shorter, simpler, and more general
• Tight adaptive reprogramming in the QROM

This page was built for publication: Fixing and mechanizing the security proof of Fiat-Shamir with aborts and Dilithium