[jonjacky]

Possibly pertinent-- Quark : A Web Browser with a Formally Verified Kernel. The page says, "the specification implies several security properties..."

http://goto.ucsd.edu/quark/