Quark : A Web Browser with a Formally Verified KernelQuark : A Web Browser with a Formally Verified Kernel University of California, San Diego Computer Science and Engineering Funded by NSF Award 1228967 Quark is an experimental, formally verified browser. Watch it run popular sites like GMail, Facebook, and Amazon! [video 1] [video 2] Web browsers mediate access to valuable private data in domains ranging from health care to banking. Despite this c
