Quark (UCSD)

Experimental UC San Diego browser whose kernel is implemented and formally verified in Coq, on a WebKit engine, capable of running Gmail or Facebook.

Facts

Developer

UC San Diego (Dongseok Jang, Zachary Tatlock, Sorin Lerner)

Website

—

Engine

WebKit

Platforms

Other

Details

Platform not specified in the sources read

Popularity

10/100 — Research prototype (v0.1 source code)

Lineage

Not to be confused with

⚠ Quark

Sources

1. https://jacobsschool.ucsd.edu/news/release/1246
2. https://www.usenix.org/conference/usenixsecurity12/technical-sessions/presentation/jang