« earlier | later »
Page 1 of 1
Quark : A Web Browser with a Formally Verified Kernel
Building a formally-verified sandbox for browser components. Neat!
to browser formal-methods security verification web ...
on 12 November 2013
by Adam Sampson.