Hardening critical attack surfaces with formally proven message parsers(microsoft.com)3 points by fireflies_ 5 years ago | 0 commentsNo comments yet