Hardening attack surfaces with formally proven binary format parsers | Publicación