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

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


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


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


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)
2024, Article in Conference Proceedings - ARCA card: 10278/5062421


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)
2024, Article in Conference Proceedings - ARCA card: 10278/5083061