Luca NEGRINI
- Position
- Researcher
- Scientific sector (SSD)
- Informatica [INFO-01/A]
- Website
-
www.unive.it/people/luca.negrini (personal record)
Publications
| Year | Type | Publication |
|---|---|---|
| Year | Type | Publication |
|
|
||
| 2025 | Journal Article |
Arceri, Vincenzo; Merenda, Saverio Mattia; Negrini, Luca; Olivieri, Luca; Zaffanella, Enea EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode in BLOCKCHAIN: RESEARCH AND APPLICATIONS, vol. - (ISSN 2096-7209) DOI - ARCA card: 10278/5106021 |
| 2025 | Article in Conference Proceedings |
Luca Olivieri,
David Beste,
Luca Negrini,
Lea Schonherr,
Antonio Emanuele Cina,
Pietro Ferrara Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric , ISSRE 2025, Institute of Electrical and Electronics Engineers Inc., Convegno: ISSRE - ARCA card: 10278/5106388 |
| 2025 | Article in Conference Proceedings |
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts , SAC'25: Proceedings of the Symposium on Applied Computing, ACM PRESS, pp. 329-337, Convegno: 40th ACM/SIGAPP Symposium On Applied Computing DOI - ARCA card: 10278/5091431 |
| 2025 | Article in Conference Proceedings |
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi, Fausto Spoto Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts , SAC'25: Proceedings of the Symposium on Applied Computing, ACM PRESS, pp. 338-347, Convegno: 40th ACM/SIGAPP Symposium On Applied Computing DOI - ARCA card: 10278/5091430 |
| 2024 | Journal Article |
Arceri, Vincenzo; Negrini, Luca; Olivieri, Luca; Ferrara, Pietro Challenges of software verification in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 26, pp. 669-672 (ISSN 1433-2779) DOI - ARCA card: 10278/5104728 |
| 2024 | Journal Article |
Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Jensen, Thomas; Spoto, Fausto Design and Implementation of Static Analyses for Tezos Smart Contracts in DISTRIBUTED LEDGER TECHNOLOGIES, vol. 1 (ISSN 2769-6480) DOI - ARCA card: 10278/5085613 |
| 2024 | Journal Article |
Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Ferrara, Pietro; Cortesi, Agostino Detection of Phantom Reads in Hyperledger Fabric in IEEE ACCESS, vol. 12 (ISSN 2169-3536) DOI - ARCA card: 10278/5060921 |
| 2024 | Journal Article |
Olivieri, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Negrini, Luca; Tagliaferro, Fabio; Spoto, Fausto; Ferrara, Pietro; Cortesi, Agostino General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study in IEEE ACCESS, vol. 12, pp. 166855-166869 (ISSN 2169-3536) DOI - ARCA card: 10278/5083652 |
| 2024 | Journal Article |
Zanatta, Giacomo; Caiazza, Gianluca; Ferrara, Pietro; Negrini, Luca Inference of access policies through static analysis in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, vol. 26, pp. 797-821 (ISSN 1433-2779) DOI - ARCA card: 10278/5091727 |
| 2024 | Journal Article |
Negrini L.; Arceri V.; Cortesi A.; Ferrara P. Tarsis: An effective automata-based abstract domain for string analysis in JOURNAL OF SOFTWARE, vol. 36 (ISSN 2047-7481) DOI - ARCA card: 10278/5050041 |
| 2024 | Article in Conference Proceedings |
Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini, Ruffin White Automating ROS2 Security Policies Extraction through Static Analysis , Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), IEEE, Convegno: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - ARCA card: 10278/5062421 |
| 2024 | Article in Conference Proceedings |
Olivieri L.; Pasetto L.; Negrini L.; Ferrara P. European Union Data Act and Blockchain Technology: Challenges and New Directions , CEUR Workshop Proceedings, CEUR-WS, vol. 3791, Convegno: 6th Distributed Ledger Technology Workshop, DLT 2024, 2024 (ISSN 1613-0073) - ARCA card: 10278/5083061 |
| 2024 | Article in Conference Proceedings |
Zanatta, Giacomo; Ferrara, Pietro; Lisovenko, Teodors; Negrini, Luca; Caiazza, Gianluca; White, Ruffin Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA , FTfJP 2024: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, Association for Computing Machinery, pp. 5-10, Convegno: Formal Techniques for Java-like Programs (FTfJP 2024) DOI - ARCA card: 10278/5072661 |
| 2024 | Article in Conference Proceedings |
Negrini, Luca; Presotto, Sofia; Ferrara, Pietro; Zaffanella, Enea; Cortesi, Agostino Stability: An Abstract Domain for the Trend of Variation of Numerical Variables , NSAD 2024: Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, ASSOC COMPUTING MACHINERY, pp. 10-17, Convegno: The 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains DOI - ARCA card: 10278/5085612 |
| 2024 | Article in Conference Proceedings |
Negrini, Luca; Arceri, Vincenzo; Olivieri, Luca; Cortesi, Agostino; Ferrara, Pietro Teaching Through Practice: Advanced Static Analysis with LiSA , Formal Methods Teaching, Springer, pp. 43-57, Convegno: 6th Formal Methods Teaching Workshop (FMTea 2024) (ISBN 9783031713781; 9783031713798) (ISSN 0302-9743) DOI - ARCA card: 10278/5072663 |
| 2024 | Article in Conference Proceedings |
Arceri, Vincenzo; Merenda, Saverio Mattia; Dolcetti, Greta; Negrini, Luca; Olivieri, Luca; Zaffanella, Enea Towards a Sound Construction of EVM Bytecode Control-Flow Graphs , FTfJP 2024: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, Association for Computing Machinery, pp. 11-16, Convegno: Formal Techniques for Java-like Programs (FTfJP 2024) DOI - ARCA card: 10278/5072662 |
| 2023 | Book Article |
Negrini, Luca; Ferrara, Pietro; Arceri, Vincenzo; Cortesi, Agostino LiSA: A Generic Framework for Multilanguage Static Analysis , Challenges of Software Verification, Springer Nature, vol. 238, pp. 19-42 (ISBN 978-981-19-9600-9; 978-981-19-9601-6) (ISSN 1868-4394) DOI - ARCA card: 10278/5031340 |
| 2023 | Article in Conference Proceedings |
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto Information Flow Analysis for Detecting Non-Determinism in Blockchain , Proceedings of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, vol. 263, Convegno: European Conference on Object-Oriented Programming (ECOOP) (ISBN 978-3-95977-281-5) DOI - ARCA card: 10278/5020965 |
| 2023 | Article in Conference Proceedings |
Olivieri, Luca; Jensen, Thomas; Negrini, Luca; Spoto, Fausto MichelsonLiSA: A Static Analyzer for Tezos , 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops), Institute of Electrical and Electronical Engineers, pp. 80-85, Convegno: BRAIN 2023: 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops) (ISBN 978-1-6654-5381-3) DOI - ARCA card: 10278/5026160 |
| 2023 | Article in Conference Proceedings |
Negrini, Luca; Shabadi, Guruprerana; Urban, Caterina Static Analysis of Data Transformations in Jupyter Notebooks , SOAP 2023: Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Association for Computing Machinery, pp. 8-13, Convegno: The 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (ISBN 9798400701702) DOI - ARCA card: 10278/5026140 |
| 2022 | Article in Conference Proceedings |
Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico Ensuring determinism in blockchain software with GoLiSA: an industrial experience report , SOAP 2022: Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Association for Computing Machinery, pp. 23-29, Convegno: SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (ISBN 9781450392747) DOI - ARCA card: 10278/5004420 |
| 2021 | Article in Conference Proceedings |
Ferrara, Pietro; Negrini, Luca; Arceri, Vincenzo; Cortesi, Agostino Static analysis for dummies: experiencing LiSA , SOAP 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Association for Computing Machinery, pp. 1-6, Convegno: 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (ISBN 9781450384681) DOI - ARCA card: 10278/3741476 |
| 2021 | Article in Conference Proceedings |
Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino Twinning Automata and Regular Expressions for String Static Analysis , Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Springer, vol. 12597, pp. 267-290, Convegno: 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (ISBN 978-3-030-67066-5; 978-3-030-67067-2) DOI - ARCA card: 10278/3736434 |
| 2020 | Article in Conference Proceedings |
Ferrara P.; Negrini L. SARL: OO Framework Specification for Static Analysis , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, vol. 12549, pp. 3-20, Convegno: 12th International Conference on Verified Software, VSTTE 2020, and 13th International Workshop on Numerical Software Verification, NSV 2020, 2020 (ISBN 978-3-030-63617-3; 978-3-030-63618-0) (ISSN 0302-9743) DOI - ARCA card: 10278/3738620 |