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 UncleMeat on Tuesday July 05, 2022 @09:57PM (#31995934)
Formal verification with model checking.
[ Parent | on HN ]
Re:Hardening attack surfaces with formally proven binary for... by mbrodersen on Wednesday July 06, 2022 @08:51PM (#32008742)
That frankly sounds hard to believe. Which proof tool did he use? Link to paper?
[ Parent | on HN ]