Posts tagged: verification
2 posts
-
The Access Doesn't Know What You're Using It For
Proving a system tells the truth requires the same depth of access that lets you make it lie. Audit tools and bypass tools are the same tool.
-
The Size of What You Can Verify
Two kinds of software trust, popularity by proxy and total verification, answer different questions and don't substitute for each other.