[BBD+23] Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium

Authors: Manuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grégoire, Yu-Hsuan Huang, Andreas Hülsing, Yi Lee, Xiaodi Wu | Venue: CRYPTO 2023 | Source

Abstract

TODO — abstract.

BibTeX

Copy

@Inproceedings{C:BBDDFG23,
  author = {Manuel Barbosa and Gilles Barthe and Christian Doczkal and Jelle Don and Serge Fehr and Benjamin Gr{\'e}goire and Yu-Hsuan Huang and Andreas H{\"u}lsing and Yi Lee and Xiaodi Wu},
  title = {Fixing and Mechanizing the Security Proof of {Fiat}-{Shamir} with Aborts and {Dilithium}},
  pages = {358--389},
  editor = {Helena Handschuh and Anna Lysyanskaya},
  booktitle = {Advances in Cryptology -- {CRYPTO}~2023, Part~V},
  volume = {14085},
  series = {Lecture Notes in Computer Science},
  address = {Santa Barbara, CA, USA},
  month = {aug~20--24},
  publisher = {Springer, Cham, Switzerland},
  year = {2023},
  doi = {10.1007/978-3-031-38554-4_12},
}