Mauro Tempesta

WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring

2018 · ARCA (Università Ca' Foscari Venezia)

We present WPSE, a browser-side security monitor for web protocols designed to ensure compliance with the intended protocol flow, as well as confidentiality and integrity properties of messages. We formally prove that WPSE is expressive …