John Sarracino

Registered user since Thu 19 Aug 2021

Name:John Sarracino
Country:United States
Affiliation:Cornell University
Research interests:Programming Languages, Security, HCI, Useable Security

Contributions

PLDI 2022 Leapfrog: Certified Equivalence for Protocol Parsers
Show activities from other conferences

Using general profile