Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper extends the concept of withdrawable signatures within the Fiat-Shamir with aborts framework, building on prior work by Liu, Baek, and Susilo. The authors introduce an abstract construction and provide comprehensive security proofs, demonstrating the robustness of their approach. A concrete instantiation is presented through a no-hint, full-t Dilithium-style scheme, which shows that adapting to production ML-DSA with hints incurs only a minor epsilon term in security.
Withdrawable signatures can now be securely implemented in the Fiat-Shamir with aborts paradigm, potentially transforming digital signature protocols.
This article presents an extension of the work performed by Liu, Baek and Susilo on withdrawable signatures to the Fiat-Shamir with aborts paradigm. We introduce an abstract construction, and provide security proofs for this proposal. As an instantiation, we provide a concrete withdrawable signature scheme based on a no-hint, full-t Dilithium-style Fiat-Shamir with aborts construction; adapting to production ML-DSA (with hints) introduces a small epsilon term.