Should Exist Index
High-assurance parsers for unsafe or overly complex document formats
The Safe Documents (SafeDocs) program will develop novel verified programming methodologies for building high assurance parsers for extant electronic data formats, and novel methodologies for comprehending,…