3 ms·Hardening critical attack surfaces with formally proven message parsers3 points by fireflies_ 5y ago