Quark: A secure Web Browser with a Formally Verified Kernel

296 points by hershel

Read the article

Discussion on Hacker News