The Pitfalls of Protocol Design: Attempting to Write a Formally Verified PDF Parser. - Andreas Bogk; Marco Schopl (IEEE Symposium on Security and Privacy Workshops, 2014)