ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER.

Haobin Ni, Antoine Delignat-Lavaud, Cdric Fournet, Tahina Ramananandro, Nikhil Swamy

Browse the full CPP paper archive.