Abstract Domains for Type Juggling. - Vincenzo Arceri; Sergio Maffeis (NSAD@SAS, 2016)

SEA: String Executability Analysis by Abstract Interpretation. - Vincenzo Arceri; Mila Dalla Preda; Roberto Giacobazzi; Isabella Mastroeni (CoRR, 2017)

An Abstract Domain for Objects in Dynamic Programming Languages. - Vincenzo Arceri; Michele Pasqua; Isabella Mastroeni (FM Workshops (2), 2019)

Completeness of Abstract Domains for String Analysis of JavaScript Programs. - Vincenzo Arceri; Martina Olliaro; Agostino Cortesi; Isabella Mastroeni (ICTAC, 2019)

An Automata-based Abstract Semantics for String Manipulation Languages. - Vincenzo Arceri; Isabella Mastroeni (VPT@Programming, 2019)

A sound abstract interpreter for dynamic code. - Vincenzo Arceri; Isabella Mastroeni (SAC, 2020)

Static analysis for dummies: experiencing LiSA. - Pietro Ferrara 001; Luca Negrini 001; Vincenzo Arceri; Agostino Cortesi (SOAP@PLDI, 2021)

Twinning Automata and Regular Expressions for String Static Analysis. - Luca Negrini 001; Vincenzo Arceri; Pietro Ferrara 001; Agostino Cortesi (VMCAI, 2021)

Improving Dynamic Code Analysis by Code Abstraction. - Isabella Mastroeni; Vincenzo Arceri (VPT@ETAPS, 2021)

Completeness of string analysis for dynamic languages. - Vincenzo Arceri; Martina Olliaro; Agostino Cortesi; Isabella Mastroeni (Inf. Comput., 2021)

Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval. - Vincenzo Arceri; Isabella Mastroeni (ACM Trans. Priv. Secur., 2021)

Decoupling the Ascending and Descending Phases in Abstract Interpretation. - Vincenzo Arceri; Isabella Mastroeni; Enea Zaffanella (APLAS, 2022)

Ensuring determinism in blockchain software with GoLiSA: an industrial experience report. - Luca Olivieri; Fabio Tagliaferro; Vincenzo Arceri; Marco Ruaro; Luca Negrini 001; Agostino Cortesi; Pietro Ferrara 001; Fausto Spoto; Enrico Talin (SOAP@PLDI, 2022)

Relational String Abstract Domains. - Vincenzo Arceri; Martina Olliaro; Agostino Cortesi; Pietro Ferrara 001 (VMCAI, 2022)

Information Flow Analysis for Detecting Non-Determinism in Blockchain. - Luca Olivieri; Luca Negrini 001; Vincenzo Arceri; Fabio Tagliaferro; Pietro Ferrara 001; Agostino Cortesi; Fausto Spoto (ECOOP, 2023)

BIOCHAIN: towards a platform for securely sharing microbiological data. - Vincenzo Bonnici; Vincenzo Arceri; Alessio Diana; Flavio Bertini 001; Eleonora Iotti; Alessia Levante; Valentina Bernini; Erasmo Neviani; Alessandro Dal Palù (IDEAS, 2023)

A Machine Learning Approach for Source Code Similarity via Graph-Focused Features. - Giacomo Boldini; Alessio Diana; Vincenzo Arceri; Vincenzo Bonnici; Roberto Bagnara (LOD (1), 2023)

Unconstrained Variable Oracles for Faster Numeric Static Analyses. - Vincenzo Arceri; Greta Dolcetti; Enea Zaffanella (SAS, 2023)

Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact). - Luca Olivieri; Luca Negrini 001; Vincenzo Arceri; Fabio Tagliaferro; Pietro Ferrara 001; Agostino Cortesi; Fausto Spoto (Dagstuhl Artifacts Ser., 2023)

LiSA: A Generic Framework for Multilanguage Static Analysis. - Luca Negrini 001; Pietro Ferrara 001; Vincenzo Arceri; Agostino Cortesi (Challenges of Software Verification, 2023)

Lifting String Analysis Domains. - Martina Olliaro; Vincenzo Arceri; Agostino Cortesi; Pietro Ferrara 001 (Challenges of Software Verification, 2023)

"Fixing" the Specification of Widenings. - Enea Zaffanella; Vincenzo Arceri (Challenges of Software Verification, 2023)

Towards a Sound Construction of EVM Bytecode Control-Flow Graphs. - Vincenzo Arceri; Saverio Mattia Merenda; Greta Dolcetti; Luca Negrini 001; Luca Olivieri; Enea Zaffanella (FTfJP@ECOOP, 2024)

Teaching Through Practice: Advanced Static Analysis with LiSA. - Luca Negrini 001; Vincenzo Arceri; Luca Olivieri; Agostino Cortesi; Pietro Ferrara 001 (FMTea, 2024)

General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study. - Luca Olivieri; Vincenzo Arceri; Badaruddin Chachar; Luca Negrini 001; Fabio Tagliaferro; Fausto Spoto; Pietro Ferrara 001; Agostino Cortesi (IEEE Access, 2024)

Detection of Phantom Reads in Hyperledger Fabric. - Luca Olivieri; Luca Negrini 001; Vincenzo Arceri; Badaruddin Chachar; Pietro Ferrara 001; Agostino Cortesi (IEEE Access, 2024)

Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis. - Greta Dolcetti; Vincenzo Arceri; Eleonora Iotti; Sergio Maffeis; Agostino Cortesi; Enea Zaffanella (CoRR, 2024)

Tarsis: An effective automata-based abstract domain for string analysis. - Luca Negrini 001; Vincenzo Arceri; Agostino Cortesi; Pietro Ferrara 001 (J. Softw. Evol. Process., 2024)

Challenges of software verification: the past, the present, the future. - Pietro Ferrara 001; Vincenzo Arceri; Agostino Cortesi (Int. J. Softw. Tools Technol. Transf., 2024)

Speeding up static analysis with the split operator. - Vincenzo Arceri; Greta Dolcetti; Enea Zaffanella (Int. J. Softw. Tools Technol. Transf., 2024)

Challenges of software verification. - Vincenzo Arceri; Luca Negrini 001; Luca Olivieri; Pietro Ferrara 001 (Int. J. Softw. Tools Technol. Transf., 2024)

Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts. - Luca Olivieri; Luca Negrini 001; Vincenzo Arceri; Pietro Ferrara 001; Agostino Cortesi (SAC, 2025)

Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts. - Luca Olivieri; Luca Negrini 001; Vincenzo Arceri; Pietro Ferrara 001; Agostino Cortesi; Fausto Spoto (SAC, 2025)

Design and Implementation of Static Analyses for Tezos Smart Contracts. - Luca Olivieri; Luca Negrini 001; Vincenzo Arceri; Thomas P. Jensen; Fausto Spoto (Distributed Ledger Technol. Res. Pract., 2025)