Quark - Browser with a Formally Verified Kernel

Everyone knows that the Internet can be a terrible place.  Hackers, phishers, and general baddies lurk around every proverbial corner.  Some incredibly smart people at the University of California have created a web browser based on Google Chrome whose core is formally proven (using mind-blowingly advanced theorems and logicy stuff) to be secure.  Different tabs cannot interfere with each other, the address bar cannot be hijacked, and no files will be placed on your computer without your consent.  This browser is called Quark.  It's still in experimental stages, but it has been tested on advanced web sites such as Facebook.  Currently, you can download its source code or read about all the logic.  Guess which blogger will be using Quark soon.