ASN1*: Provably Correct Non-Malleable Parsing for ASN.1 DER (bibtex)
by , , , ,
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},
}
Powered by bibtexbrowser