Good ideas and conversation. No ads, no tracking. Login or Take a Tour!
user-inactivated · 3867 days ago · link · · parent · post: New Vulnerability Found in Every Single Version of Internet Explorer
You can prove a program, which can help in assurances of security. http://stackoverflow.com/questions/476959/why-cant-programs-be-proven From a cursory search, I found this as an example of a formerly verified web browser: http://goto.ucsd.edu/quark/. I don't happen to know a lot about this approach (I know nothing about this approach, really), but I do know that you can make certain guarantees about security (I guess assuming there are no bugs in your implementation of what you've proven).