4 papers:
SEFM-2007-GrandyBSR #encoding #named #protocol #security- ASN1-light: A Verified Message Encoding for Security Protocols (HG, RB, KS, WR), pp. 195–204.
CAV-2001-ShanbhagGTAL #model checking #named- EASN: Integrating ASN.1 and Model Checking (VKS, KG, MT, AA, ML), pp. 382–386.
IWTCS-1999-Willcock #syntax #towards- New Directions in ASN.1: Towards a Formal Notation for Transfer Syntax (CW), pp. 31–42.
TOOLS-USA-1993-KoivistoR #c++ #named- Cerial: A Tool for XDR or ASN.1 BER Serialization of C++ Objects (JK, JR), pp. 109–122.
