Author of the publication

Andromeda: Accurate and Scalable Security Analysis of Web Applications.

, , , , and . FASE, volume 7793 of Lecture Notes in Computer Science, page 210-225. Springer, (2013)

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

UI X-Ray: Interactive Mobile UI Testing Based on Computer Vision., , , , , and . IUI, page 245-255. ACM, (2017)Parallelization of Classical Numerical optimization in Quantum Variational Algorithms., , , , and . ICST, page 309-320. IEEE, (2020)Dynamic detection of inter-application communication vulnerabilities in Android., , and . ISSTA, page 118-128. ACM, (2015)More Is Less: Learning Efficient Video Representations by Big-Little Network and Depthwise Temporal Aggregation., , , , and . NeurIPS, page 2261-2270. (2019)End-to-End Protocol for High-Quality QAOA Parameters with Few Shots., , , , and . CoRR, (2024)On the Relativistic Zero Knowledge Quantum Proofs of Knowledge., , , , , and . CoRR, (2024)Performance of Quantum Approximate Optimization with Quantum Error Detection., , , and . CoRR, (2024)Certified Randomness implies Secure Classical Position-Verification., , , , , , and . IACR Cryptol. ePrint Arch., (2024)Andromeda: Accurate and Scalable Security Analysis of Web Applications., , , , and . FASE, volume 7793 of Lecture Notes in Computer Science, page 210-225. Springer, (2013)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)