Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
- Manuel Barbosa
- , G. Barthe
- , Christian Doczkal
- , Jelle Don
- , Serge Fehr
- , Benjamin Grégoire
- , Yu-Hsuan Huang
- , Andreas Hülsing
- , Yi Lee
- , Xiaodi Wu
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
20
Link opens in a new tab
Citations
(Scopus)