HEXACON 2025 - Keynote by Ivan Krstić (via craigstuntz) — discussion
#cryptography #formalmethods #security #video
