Hardening attack surfaces with formally proven binary format parsersmicrosoft.com150 pointsdeterministic4 years ago