Bulwark: Holistic and Verified Security Monitoring of Web Protocols

15 January 2021

Papers citing "Bulwark: Holistic and Verified Security Monitoring of Web Protocols"

2 / 2 papers shown

Title
Cerberus: Query-driven Scalable Vulnerability Detection in OAuth Service Provider Implementations Tamjid Al-Rahat Yu Feng Yuan Tian 36 8 0 03 Oct 2021
Automatic Verification of Correspondences for Security Protocols B. Blanchet 89 241 0 23 Feb 2008