USENIX Security '24 - Shaken, not Stirred - Automated Discovery of Subtle Attacks on Protocols...
▶USENIX Security '24 - Shaken, not Stirred - Automated Discovery of Subtle Attacks on Protocols... — a USENIX security conference talk on crypto (13:30 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube