Formally verifying Kyber Episode IV: Implementation correctness

dc.contributor.author José Bacelar Almeida en
dc.contributor.other 5598 en
dc.date.accessioned 2023-10-27T15:22:32Z
dc.date.available 2023-10-27T15:22:32Z
dc.date.issued 2023 en
dc.description.abstract en
dc.identifier P-00Y-N1D en
dc.identifier.uri https://repositorio.inesctec.pt/handle/123456789/14504
dc.language eng en
dc.rights info:eu-repo/semantics/openAccess en
dc.title Formally verifying Kyber Episode IV: Implementation correctness en
dc.type en
dc.type Publication en
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
P-00Y-N1D.pdf
Size:
679.32 KB
Format:
Adobe Portable Document Format
Description: