TY  - RPRT
TI  - Bulwark: Holistic and Verified Security Monitoring of Web Protocols
AU  - Lorenzo Veronese
AU  - Stefano Calzavara
AU  - Luca Compagna
PY  - 2021
DO  - 10.1007/978-3-030-58951-6_2
UR  - https://arxiv.org/abs/2101.06043
ID  - 2101.06043
ER  -