Author of the publication

Concolic Execution for WebAssembly.

, , , and . ECOOP, volume 222 of LIPIcs, page 11:1-11:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

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

Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages., , , , , , and . CoRR, (2023)RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks., , , and . SP, page 2817-2834. IEEE, (2023)TestSelector: Automatic Test Suite Selection for Student Projects - Extended Version., , , and . CoRR, (2022)Concolic Execution for WebAssembly (Artifact)., , , and . Dagstuhl Artifacts Ser., 8 (2): 20:1-20:3 (2022)Toward Tool-Independent Summaries for Symbolic Execution (Artifact)., , , , and . Dagstuhl Artifacts Ser., 9 (2): 07:1-07:4 (2023)MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations., , , , and . ISSTA, page 1499-1502. ACM, (2023)Toward Tool-Independent Summaries for Symbolic Execution., , , , and . ECOOP, volume 263 of LIPIcs, page 24:1-24:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Mashic compiler: Mashup sandboxing based on inter-frame communication., , , and . J. Comput. Secur., 24 (1): 91-136 (2016)Gillian, Part II: Real-World Verification for JavaScript and C., , , and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 827-850. Springer, (2021)Hybrid Information Flow Control for Low-Level Code., , and . SEFM, volume 13085 of Lecture Notes in Computer Science, page 141-159. Springer, (2021)