research
∙
01/05/2022
WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms
The complexity of browsers has steadily increased over the years, driven...
share
research
∙
01/15/2021
Bulwark: Holistic and Verified Security Monitoring of Web Protocols
Modern web applications often rely on third-party services to provide th...
research
∙
12/03/2020
