Quark : A Web Browser with a Formally Verified Kernel

Quark : A Web Browser with a Formally Verified Kernel (Usenix Security '12)

11 views ucsd.edu

Interest

Software
Discovered by geekvenk
on Sep 8, 2013

Stumblers Who Like This Page