Holger Grandy Robert Bertossi Kurt Stenzel Wolfgang Reif ASN1-light: A Verified Message Encoding for Security Protocols. 195-204 2007 conf/sefm/2007 SEFM http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.8 db/conf/sefm/sefm2007.html#GrandyBSR07