Luca NEGRINI

Position
Researcher
E-mail
luca.negrini@unive.it
956516@stud.unive.it
Scientific sector (SSD)
Informatica [INFO-01/A]
Website
www.unive.it/people/luca.negrini (personal record)
Office
Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais
Where: Campus scientifico via Torino
Research Institute
Research Institute for Complexity

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 2025, Journal Article - ARCA card: 10278/5106021


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
2025, Article in Conference Proceedings - ARCA card: 10278/5106388


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 2025, Article in Conference Proceedings - ARCA card: 10278/5091431


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 2025, Article in Conference Proceedings - ARCA card: 10278/5091430


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 2024, Journal Article - ARCA card: 10278/5104728