Lorenzo Veronese, Benjamin Farinier, Pedro Bernardo, Mauro Tempesta, Marco Squarcina, Matteo Maffei. WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms. In 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023. pages 2761-2779, IEEE, 2023. [doi]
Abstract is missing.