GitHub repository: secgroup/bulwark-experiments
Primary language: Python
Created: 2020-07-09T16:49:32Z
Description: Bulwark: Holistic and Verified Security Monitoring of Web Protocols (Models and Case Studies)