# content
HEXACON 2025 - Keynote by Ivan Krstić (via craigstuntz) — discussion

#cryptography #formalmethods #security #video