« earlier | later » Page 1 of 1

Quark : A Web Browser with a Formally Verified Kernel edit / delete

Building a formally-verified sandbox for browser components. Neat!

to browser formal-methods security verification web ... on 12 November 2013

« earlier | later » Page 1 of 1

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom

Tags related to browser

- browser
 
1 + formal-methods
1 + security
1 + verification
1 + web