Hacker News new | ask | show | jobs
Hardening critical attack surfaces with formally proven message parsers (microsoft.com)
3 points by fireflies_ 1878 days ago