Talk about formally verified Kyber by Manuel Barbosa

134 views
Skip to first unread message

Peter Schwabe

unread,
Apr 18, 2023, 2:44:22 PM4/18/23
to pqc-...@list.nist.gov
Dear all,

Manuel Barbosa will be giving a talk tomorrow (Wednesday, April 19 at
10am Eastern Time) in NIST's Crypto Reading Club about "Formally
Verifying Kyber Part I: Functional Correctness"; see the announcement at
https://csrc.nist.gov/Presentations/2023/crclub-2023-04-19

I just realized that this hadn't been announced on pqc-forum and that
the topic should be interesting to many people here as well. So, for
those who want to join, my understanding is that the Google Meet link is
https://meet.google.com/dct-qdck-hzc

All the best,

Peter
Reply all
Reply to author
Forward
0 new messages