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

Ni, Haobin; Delignat-Lavaud, Antoine; Fournet, Cédric; Ramananandro, Tahina; Swamy, Nikhil

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},
}