Login
From:
Nicky Mouha
(Uncensored)
subscribe
Computer-Checked Proofs for Chaskey
https://mouha.be/computer-checked-proofs-for-chaskey/
links
backlinks
Tagged with:
theorem provers
Roast topics
Find topics
Find it!
On September 16, 2024, I was invited to give a talk at Google headquarters in Mountain View, California. One of the topics that I spoke about, was computer-checked proofs for papers on symmetric-key cryptography. (It’s really difficult to get these
