Formally verifying Kyber Part I: Implementation Correctness

No Thumbnail Available
Files
P-00Y-2ZW.pdf (679.32 KB)
Date
2023
Authors
Hugo Pereira Pacheco
Manuel Barbosa
José Bacelar Almeida
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
https://repositorio.inesctec.pt/handle/123456789/14694
Collections
HASLab - Other Publications