ASN1-light: A Verified Message Encoding for Security Protocols. - Holger Grandy; Robert Bertossi; Kurt Stenzel; Wolfgang Reif (SEFM, 2007)