News for hackers. Stuff that matters.

A comment on Quark: A secure Web Browser with a Formally Verified Kernel. Parent comment

Re:Quark: A secure Web Browser with a Formally Verified Kernel by Fixnum on Sunday September 08, 2013 @04:59PM (#6350307)
DARPA is trying it:

http://www.crash-safe.org/node/9

[ Parent | on HN ]

There are no comments on this comment yet.