Bulwark: Holistic and Verified Security Monitoring of Web Protocols

von Veronese, Lorenzo
Veröffentlicht in ESORICS (25. : 2020 : Online) Computer Security – ESORICS 2020 ; Part 1 (2020)