Bulwark: Holistic and Verified Security Monitoring of Web Protocols.

Lorenzo Veronese, Stefano Calzavara, Luca Compagna

Browse the full ESORICS paper archive.