Andreas Bogk, Marco Schopl. The Pitfalls of Protocol Design: Attempting to Write a Formally Verified PDF Parser. In 35. IEEE Security and Privacy Workshops, SPW 2014, San Jose, CA, USA, May 17-18, 2014. pages 198-203, IEEE Computer Society, 2014. [doi]
Abstract is missing.