"Formally Verifying Everybody's Cryptography" by Mike Dodds, Joey Dodds (Strange Loop 2022) (40:30) (www.youtube.com)
from cyph3rPunk@infosec.pub to cypherpunk@infosec.pub on 04 Sep 2023 00:46
https://infosec.pub/post/2153961

threaded - newest