logoalt Hacker News

rocketrascalyesterday at 11:34 AM0 repliesview on HN

You can fail to verify something which you actually wanted to verify (i.e you made a proof of something else instead of the thing that mattered). See WPA2 KRACK as an example.