4 ms·WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms1 points by Hard_Space 5y ago