Quark: A secure Web Browser with a Formally Verified Kernelgoto.ucsd.edu296 pointshershel13 years ago