Publications 2024

Dapeng Zhi, Peixin Wang, Si Liu, Luke Ong, Min Zhang
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems
CAV 2024
[PDF | DOI]

Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training
25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024)
[external pagePDF | external pageDOI]

Ahmed Bouhoula, Karel Kubicek, Amit Zac, Carlos Cotrini, and David Basin
Automated Large-Scale Analysis of Cookie Notice Compliance
33rd USENIX Security Symposium (USENIX Security 2024)
[external pagePDF | external pageWEB]

Lorin Schöni, Karel Kubicek, Verena Zimmermann
Block Cookies, Not Websites: Analysing Mental Models and Usability of the Privacy-Preserving Browser Extension CookieBlock
Privacy Enhancing Technologies Symposium (PETS 2024)
[external pagePDF | external pageDOI | external pageWEB]