G goto.ucsd.edu Quark: A secure Web Browser with a Formally Verified Kernel 296 points hershel 13 years ago 78 comments
