USENIX Security '25 - OwlC: Compiling Security Protocols to Verified, Secure...

USENIX · 13:16

▶

USENIX Security '25 - OwlC: Compiling Security Protocols to Verified, Secure... — a USENIX security conference talk on crypto (13:16 min). Watch the full video, indexed free on the Breach Arc Archive.

← Back to the Breach Arc Archive