Vincenzo Arceri
Vincenzo Arceri
Non-tenured Track Assistant Professor, University of Parma
Verified email at - Homepage
Cited by
Cited by
Static Program Analysis for String Manipulation Languages
V Arceri, I Mastroeni
Seventh International Workshop on Verification and Program Transformation, 2018
Abstract domains for type juggling
V Arceri, S Maffeis
Electronic Notes in Theoretical Computer Science 331, 41-55, 2017
Static analysis for ECMAScript string manipulation programs
V Arceri, I Mastroeni, S Xu
Applied Sciences 10 (10), 3525, 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
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
A sound abstract interpreter for dynamic code
V Arceri, I Mastroeni
Proceedings of the 35th Annual ACM Symposium on Applied Computing, 1979-1988, 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
Completeness of string analysis for dynamic languages
V Arceri, M Olliaro, A Cortesi, I Mastroeni
Information and Computation 281, 104791, 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
An abstract domain for objects in dynamic programming languages
V Arceri, M Pasqua, I Mastroeni
International Symposium on Formal Methods, 136-151, 2019
Towards an operational semantics for Solidity
M Crosara, G Centurino, V Arceri
VALID, 1-6, 2019
SEA: String Executability Analysis by Abstract Interpretation
V Arceri, MD Preda, R Giacobazzi, I Mastroeni
arXiv preprint arXiv:1702.02406, 2017
Relational String Abstract Domains
V Arceri, M Olliaro, A Cortesi, P Ferrara
International Conference on Verification, Model Checking, and Abstract …, 2022
Improving Dynamic Code Analysis by Code Abstraction
I Mastroeni, V Arceri
arXiv preprint arXiv:2109.02813, 2021
Analyzing Dynamic Code
V Arceri, I Mastroeni
Journal: ACM Transactions on Privacy and Security, 1-38, 2021
The system can't perform the operation now. Try again later.
Articles 1–15