Quark : A Web Browser with a Formally Verified Kernel

goto.ucsd.edu

saved by: 0 people
related read on: Introducing WhiteHat Aviator - A Safer Web Browser from the discussion