Kelly Androutsopoulos
Middlesex University
H-index: 13
Europe-United Kingdom
Top articles of Kelly Androutsopoulos
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Improving the Precision of Call Graph Construction for Webassembly with Symbolic Execution and Slicing | Available at SSRN 4341186 | Mattia Paccamiccio Franco Raimondi Kelly Androutsopoulos Leonardo Mostarda | 2022 |
Correctly slicing extended finite state machines | From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement | Torben Amtoft Kelly Androutsopoulos David Clark | 2020 |