/webspec

Towards Machine-Checked Analysis of Browser Security Mechanisms

Primary LanguageOCaml

Stargazers