ASN1-light: A Verified Message Encoding for Security Protocols | IEEE Conference Publication | IEEE Xplore