« 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
« earlier | later » Page 1 of 1
| - browser | |
| 1 | browser |
| 1 | formal-methods |
| 1 | security |
| 1 | verification |
| 1 | web |
tasty by Adam Sampson.