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

No Thumbnail Available
Files
P-00Y-30F.pdf (624.67 KB)
Date
2023
Authors
Manuel Barbosa
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
https://repositorio.inesctec.pt/handle/123456789/14540
Collections
HASLab - Other Publications