Publications

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

AuthID
P-00Z-27M

Author(s)

Barbosa, M

Barthe, G

Doczkal, C

Don, J

Fehr, S

Grégoire, B

Huang, YH

Hülsing, A

Lee, Y

Wu, X

Editor(s)

Handschuh,H;Lysyanskaya,A

Document Type

Proceedings Paper

Year published

2022

Published

in Advances in Cryptology - CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part V in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 14085, Pages: 358-389 (31)

Conference

Advances in Cryptology – Crypto 2023 - 43Rd Annual International Cryptology Conference, Crypto 2023, Proceedings, Date: 20 August 2023 through 24 August 2023, Location: Santa Barbara

Indexing