by Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy
Reference:
ASN1*: Provably Correct Non-Malleable Parsing for ASN.1 DER (Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy), 2022. (In submission)
Bibtex Entry:
@misc{asn1star,
author = {Haobin Ni and
Antoine Delignat-Lavaud and
C\'edric Fournet and
Tahina Ramananandro and
Nikhil Swamy},
title = {ASN1*: Provably Correct Non-Malleable Parsing for ASN.1 DER},
year = 2022,
month = September,
url = {https://www.fstar-lang.org/papers/asn1star.pdf},
note = {In submission},
}