USENIX Security '19 - EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats
▶USENIX Security '19 - EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats — a USENIX security conference talk on vuln-research (21:10 min). Watch the full video, indexed free on the Breach Arc Archive.
▶ Watch video on YouTube