 SOAP: A Social Authentication ProtocolUSENIX Security Symposium (USENIX Security), 2024 |
 WebSpec: Towards Machine-Checked Analysis of Browser Security MechanismsIEEE Symposium on Security and Privacy (IEEE S&P), 2022 |
 Bulwark: Holistic and Verified Security Monitoring of Web ProtocolsEuropean Symposium on Research in Computer Security (ESORICS), 2020 |
 EL PASSO: Privacy-preserving, Asynchronous Single Sign-OnProceedings on Privacy Enhancing Technologies (PoPETs), 2020 |
 Language-Based Web Session IntegrityIEEE Computer Security Foundations Symposium (CSF), 2020 |
 An Extensive Formal Security Analysis of the OpenID Financial-grade APIIEEE Symposium on Security and Privacy (S&P), 2019 |
