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

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

Published in: CPP (2023)

Keyphrases

provably correct
situation calculus
formal methods
dependency parsing
natural language processing
error estimates
syntactic and semantic dependencies
neural network
machine learning
information systems
natural language