Skip to main content

Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium

Breadcrumb

  1. Home
  2. Publications
Publication Details
Author
Manuel Barbosa
Gilles Barthe
Christian Doczkal
Jelle Don
Serge Fehr
Benjamin Grégoire
Yu-Hsuan Huang
Andreas Hülsing
Yi Lee
Xiaodi Wu
Publication Type
Journal Article
Year of Publication
2023
URL
https://eprint.iacr.org/2023/246
Journal
Cryptology ePrint Archive
  • Google Scholar
Contributors
Groups
QuICS
Wu Research Group
Date Published
02/2023