Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy. ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER. In Robbert Krebbers, Dmitriy Traytel, Brigitte Pientka, Steve Zdancewic, editors, Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023, Boston, MA, USA, January 16-17, 2023. pages 275-289, ACM, 2023. [doi]
Abstract is missing.