Bulwark: Holistic and Verified Security Monitoring of Web Protocols

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Lorenzo Veronese, Stefano Calzavara, Luca Compagna

Journal title: Computer Security – ESORICS 2020 - 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part I

Journal number: 12308

Journal publisher: Springer International Publishing

Published year: 2020

Published pages: 23-41

DOI identifier: 10.1007/978-3-030-58951-6_2

ISBN: 978-3-030-58950-9