News for hackers. Stuff that matters.

A comment on Hardening attack surfaces with formally proven binary format parsers. Parent comment

Re:Hardening attack surfaces with formally proven binary for... by jnash on Tuesday July 05, 2022 @12:39AM (#31984371)
Yep if the translation is done by hand then that might be a potential problem. However a lot of modern proof tools have proven correct translators (based on the CompCert work).
[ Parent | on HN ]

There are no comments on this comment yet.