Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Language-Independent Synthesis of Firewall Policies., , , , , and . EuroS&P, page 92-106. IEEE, (2018)Firewall Management With FireWall Synthesizer., , , , , and . ITASEC, volume 2058 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)FWS: Analyzing, maintaining and transcompiling firewalls., , , , , , , and . J. Comput. Secur., 29 (1): 77-134 (2021)WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring., , , , , and . USENIX Security Symposium, page 1493-1510. USENIX Association, (2018)Provably Sound Browser-Based Enforcement of Web Session Integrity., , , , and . CSF, page 366-380. IEEE Computer Society, (2014)WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms., , , , , and . SP, page 2761-2779. IEEE, (2023)Can I Take Your Subdomain? Exploring Same-Site Attacks in the Modern Web., , , , and . USENIX Security Symposium, page 2917-2934. USENIX Association, (2021)From Firewalls to Functions and Back., , and . ITASEC, volume 2315 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)Can I Take Your Subdomain? Exploring Related-Domain Attacks in the Modern Web., , , , and . CoRR, (2020)Transcompiling Firewalls., , , , and . POST, volume 10804 of Lecture Notes in Computer Science, page 303-324. Springer, (2018)