Quark (UCSD)

Navigateur expérimental de l'UC San Diego dont le noyau est implémenté et vérifié formellement en Coq, sur un moteur WebKit, capable de faire tourner Gmail ou Facebook.

Fiche

Éditeur

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

Site

—

Moteur

WebKit

Plateformes

Autre

Détails

Plateforme non précisée dans les sources lues

Popularité

10/100 — Prototype de recherche (code source v0.1)

Filiation

Ne pas confondre avec

⚠ Quark

Sources

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