Formally verifying Kyber Episode IV: Implementation correctness

No Thumbnail Available
Files
P-00Y-N1D.pdf (679.32 KB)
Date
2023
Authors
José Bacelar Almeida
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
https://repositorio.inesctec.pt/handle/123456789/14504
Collections
HASLab - Indexed Articles in Journals