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

Publication Details

Authors

Publication Type

Journal Article

Year of Publication

2023

Journal

Cryptology ePrint Archive

Date Published

02/2023

URL

https://eprint.iacr.org/2023/246