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