Formally Verifying Kyber Part I: Implementation Correctness

AuthID
P-00Y-2ZW
12
Author(s)
Grégoire, B
·
Laporte, V
·
Léchenet, JC
·
Oliveira, T
·
Quaresma, M
·
Schwabe, P
·
Séré, A
·
Strub, PY
Document Type
Article in Press
Year published
2023
Published
in IACR Cryptol. ePrint Arch.
Volume: 2023, Pages: 215
Indexing
Publication Identifiers
DBLP: journals/iacr/AlmeidaBBGLLOPQSSS23
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.