Loading…
Friday, August 16 • 9:20am - 9:40am
EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Tahina Ramananandro, Antoine Delignat-Lavaud, Cédric Fournet, and Nikhil Swamy, Microsoft Research; Tej Chajed, MIT; Nadim Kobeissi, Inria Paris; Jonathan Protzenko, Microsoft Research

Friday August 16, 2019 9:20am - 9:40am PDT
*USENIX Security '19 Track 2: Grand Ballroom FGH