3 ms·EverParse: Hardening attack surfaces with formally proven message parsers2 points by fanf2 6y ago