Hacker News new | ask | show | jobs
by Veserv 1079 days ago
Okay, name the "provably secure designs" that were actually proven and validated by a competent security standard such as the Orange Book Level A or Common Criteria EAL 6/7 that turned out to be insecure in practice.

Most people who say that point to designs that were never proven and never validated against anything meaningful, but I am open to seeing a actual example.