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

researchr

You are not signed in
Sign in
Sign up

Manuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grégoire, Yu-Hsuan Huang, Andreas Hülsing, Yi Lee, Xiaodi Wu. Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium. In Helena Handschuh, Anna Lysyanskaya, editors, Advances in Cryptology - CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part V. Volume 14085 of Lecture Notes in Computer Science, pages 358-389, Springer, 2022. [doi]

This author has not been identified. It may be one of the following persons:

Manuel Bernardo Barbosa

Look up 'Manuel Barbosa' in GoogleThis author has not been identified. Look up 'Gilles Barthe' in GoogleThis author has not been identified. Look up 'Christian Doczkal' in GoogleThis author has not been identified. Look up 'Jelle Don' in GoogleThis author has not been identified. Look up 'Serge Fehr' in GoogleThis author has not been identified. Look up 'Benjamin Grégoire' in GoogleThis author has not been identified. Look up 'Yu-Hsuan Huang' in GoogleThis author has not been identified. Look up 'Andreas Hülsing' in GoogleThis author has not been identified. Look up 'Yi Lee' in GoogleThis author has not been identified. Look up 'Xiaodi Wu' in Google

runs on WebDSL