Talk about formally verified Kyber by Manuel Barbosa
133 views
Skip to first unread message
Peter Schwabe
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
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