{"ID":6023373,"CreatedAt":"2026-07-08T01:00:23.257252134Z","UpdatedAt":"2026-07-10T04:40:34.01444365Z","DeletedAt":null,"paper_url":"https://arxiv.org/abs/2607.05831","arxiv_id":"2607.05831","title":"Withdrawability in Fiat-Shamir with aborts constructions","abstract":"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.","short_abstract":"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 n...","url_abs":"https://arxiv.org/abs/2607.05831","url_pdf":"https://arxiv.org/pdf/2607.05831v1","authors":"[\"Ramses Fernandez-Valencia\"]","published":"2026-07-07T04:44:33Z","proceeding":"cs.CR","tasks":"[\"cs.CR\"]","methods":"[]","has_code":false}