The Pitfalls of Protocol Design: Attempting to Write a Formally Verified PDF Parser.
VenueA*SP
Year2014
ProceedingsIEEE Symposium on Security and Privacy Workshops
DBLP recordconf/sp/BogkS14 ↗
Browse the full SP paper archive.
Browse the full SP paper archive.