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

Access-rights Analysis in the Presence of Subjects., , and . ECOOP, volume 37 of LIPIcs, page 222-246. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Andromeda: Accurate and Scalable Security Analysis of Web Applications., , , , and . FASE, volume 7793 of Lecture Notes in Computer Science, page 210-225. Springer, (2013)Tightfit: adaptive parallelization with foresight., and . ESEC/SIGSOFT FSE, page 169-179. ACM, (2013)Finding your way in the testing jungle: a learning approach to web security testing., , and . ISSTA, page 347-357. ACM, (2013)A Bayesian Approach to Privacy Enforcement in Smartphones., and . USENIX Security Symposium, page 175-190. USENIX Association, (2014)Cognitive mobile security: invited conference keynote., , , and . MOBILESoft, page 267-268. ACM, (2016)ALETHEIA: Improving the Usability of Static Security Analysis., , , and . ACM Conference on Computer and Communications Security, page 762-774. ACM, (2014)Path- and index-sensitive string analysis based on monadic second-order logic., , and . ISSTA, page 166-176. ACM, (2011)Long-term Static Analysis Rule Quality Monitoring Using True Negatives., , , , , and . ICSE-SEIP, page 315-326. IEEE, (2023)Directed synthesis of failing concurrent executions., , and . OOPSLA, page 430-446. ACM, (2016)