4 ms·
Possibly pertinent-- Quark : A Web Browser with a Formally Verified Kernel. The page says, "the specification implies several security properties..." http://g
by jonjacky 12y ago
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/ http://goto.ucsd.edu/quark/