M microsoft.com Hardening critical attack surfaces with formally proven message parsers 3 points fireflies_ 5 years ago 0 comments