| Static Program Analysis for String Manipulation Languages V Arceri, I Mastroeni Seventh International Workshop on Verification and Program Transformation, 2018 | 16* | 2018 |
| Abstract domains for type juggling V Arceri, S Maffeis Electronic Notes in Theoretical Computer Science 331, 41-55, 2017 | 11 | 2017 |
| Static analysis for ECMAScript string manipulation programs V Arceri, I Mastroeni, S Xu Applied Sciences 10 (10), 3525, 2020 | 9 | 2020 |
| Completeness of abstract domains for string analysis of javascript programs V Arceri, M Olliaro, A Cortesi, I Mastroeni International Colloquium on Theoretical Aspects of Computing, 255-272, 2019 | 7 | 2019 |
| Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval V Arceri, I Mastroeni ACM Transactions on Privacy and Security (TOPS) 24 (2), 1-38, 2021 | 6 | 2021 |
| A sound abstract interpreter for dynamic code V Arceri, I Mastroeni Proceedings of the 35th Annual ACM Symposium on Applied Computing, 1979-1988, 2020 | 5 | 2020 |
| Twinning automata and regular expressions for string static analysis L Negrini, V Arceri, P Ferrara, A Cortesi International Conference on Verification, Model Checking, and Abstract …, 2021 | 4 | 2021 |
| Completeness of string analysis for dynamic languages V Arceri, M Olliaro, A Cortesi, I Mastroeni Information and Computation 281, 104791, 2021 | 1 | 2021 |
| Static analysis for dummies: experiencing LiSA P Ferrara, L Negrini, V Arceri, A Cortesi Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of …, 2021 | 1 | 2021 |
| An abstract domain for objects in dynamic programming languages V Arceri, M Pasqua, I Mastroeni International Symposium on Formal Methods, 136-151, 2019 | 1 | 2019 |
| Towards an operational semantics for Solidity M Crosara, G Centurino, V Arceri VALID, 1-6, 2019 | 1* | 2019 |
| SEA: String Executability Analysis by Abstract Interpretation V Arceri, MD Preda, R Giacobazzi, I Mastroeni arXiv preprint arXiv:1702.02406, 2017 | 1 | 2017 |
| Relational String Abstract Domains V Arceri, M Olliaro, A Cortesi, P Ferrara International Conference on Verification, Model Checking, and Abstract …, 2022 | | 2022 |
| Improving Dynamic Code Analysis by Code Abstraction I Mastroeni, V Arceri arXiv preprint arXiv:2109.02813, 2021 | | 2021 |
| Analyzing Dynamic Code V Arceri, I Mastroeni Journal: ACM Transactions on Privacy and Security, 1-38, 2021 | | 2021 |
Isabella MastroeniComputer Science Dept. - University of VeronaVerified email at univr.it
