Abstract
The information systems we use every day are highly complex. In particular, they rely on the implementation of network protocols and the interpretation of documents in a variety of formats. In this seminar, we will focus on the specifications describing these protocols and formats. Indeed, we will see that the way they are specified can have consequences for the security of their implementations. We'll be looking at Mini-PNG, an image format used in a programming module, as well as PDF and the TLS protocol.
