USENIX Security '22 - SAPIC+: protocol verifiers of the world, unite!
▶USENIX Security '22 - SAPIC+: protocol verifiers of the world, unite! — a USENIX security conference talk on network (12:39 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube