Luca Negrini

According to our database, Luca Negrini authored at least 23 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Design and Implementation of Static Analyses for Tezos Smart Contracts.

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Thomas P. Jensen, Fausto Spoto

Distributed Ledger Technol. Res. Pract., June, 2025

Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts.

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, 2025

Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts.

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi

Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, 2025

2024

Inference of access policies through static analysis.

Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini

Int. J. Softw. Tools Technol. Transf., December, 2024

Challenges of software verification.

Vincenzo Arceri, Luca Negrini, Luca Olivieri, Pietro Ferrara

Int. J. Softw. Tools Technol. Transf., December, 2024

Tarsis: An effective automata-based abstract domain for string analysis.

Luca Negrini, Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara

J. Softw. Evol. Process., August, 2024

Detection of Phantom Reads in Hyperledger Fabric.

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, Agostino Cortesi

IEEE Access, 2024

General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study.

Luca Olivieri, Vincenzo Arceri, Badaruddin Chachar, Luca Negrini, Fabio Tagliaferro, Fausto Spoto, Pietro Ferrara, Agostino Cortesi

IEEE Access, 2024

Teaching Through Practice: Advanced Static Analysis with LiSA.

Luca Negrini, Vincenzo Arceri, Luca Olivieri, Agostino Cortesi, Pietro Ferrara

Proceedings of the Formal Methods Teaching - 6th Formal Methods Teaching Workshop, 2024

Stability: An Abstract Domain for the Trend of Variation of Numerical Variables.

Luca Negrini, Sofia Presotto, Pietro Ferrara, Enea Zaffanella, Agostino Cortesi

Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, 2024

Automating ROS2 Security Policies Extraction through Static Analysis.

Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini, Ruffin White

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2024

Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA.

Giacomo Zanatta, Pietro Ferrara, Teodors Lisovenko, Luca Negrini, Gianluca Caiazza, Ruffin White

Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024

Towards a Sound Construction of EVM Bytecode Control-Flow Graphs.

Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella

Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024

European Union Data Act and Blockchain Technology: Challenges and New Directions.

Luca Olivieri, Luca Pasetto, Luca Negrini, Pietro Ferrara

Proceedings of the Sixth Distributed Ledger Technology Workshop (DLT 2024), 2024

2023

LiSA: A Generic Framework for Multilanguage Static Analysis.

Luca Negrini, Pietro Ferrara, Vincenzo Arceri, Agostino Cortesi

Proceedings of the Challenges of Software Verification, 2023

Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact).

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Dagstuhl Artifacts Ser., 2023

Static Analysis of Data Transformations in Jupyter Notebooks.

Luca Negrini, Guruprerana Shabadi, Caterina Urban

Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2023

MichelsonLiSA: A Static Analyzer for Tezos.

Luca Olivieri, Thomas P. Jensen, Luca Negrini, Fausto Spoto

Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2023

Information Flow Analysis for Detecting Non-Determinism in Blockchain.

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Ensuring determinism in blockchain software with GoLiSA: an industrial experience report.

Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin

Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022

2021

Twinning Automata and Regular Expressions for String Static Analysis.

Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Static analysis for dummies: experiencing LiSA.

Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi

Proceedings of the SOAP@PLDI 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2021

2020

SARL: OO Framework Specification for Static Analysis.

Pietro Ferrara, Luca Negrini

Proceedings of the Software Verification - 12th International Conference, 2020