Pietro FERRARA

Olivieri, Luca; Pasetto, Luca; Negrini, Luca; Ferrara, Pietro An Overview of Termination in the Ethereum Blockchain , Blockchain Technology and Emerging Applications, Springer Nature Switzerland, pp. 226-248, Convegno: 4th EAI International Conference on Blockchain Technology and Emerging Applications (ISBN 9783032123343; 9783032123350) (ISSN 1867-8211)
DOI 2026, Articolo in Atti di convegno - Scheda ARCA: 10278/5109729

Vincenzo Arceri, Luca Negrini, Giacomo Zanatta, Filippo Bianchi, Teodors Lisovenko, Luca Olivieri, Pietro Ferrara JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) , Proceedings of TACAS 2026, Springer, Convegno: TACAS
2026, Articolo in Atti di convegno - Scheda ARCA: 10278/5112869

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 , 2025 IEEE 36th International Symposium on Software Reliability Engineering (ISSRE), Institute of Electrical and Electronics Engineers Inc., Convegno: ISSRE
DOI 2025, Articolo in Atti di convegno - Scheda ARCA: 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, Articolo in Atti di convegno - Scheda ARCA: 10278/5091431

Chachar B.; Cavazza M.; Bracciali A.; Ferrara P.; Cortesi A. Finding Vulnerabilities in Solidity Smart Contracts with In-Context Learning , CEUR Workshop Proceedings, CEUR-WS, vol. 3962, Convegno: 2025 Joint National Conference on Cybersecurity, ITASEC and SERICS 2025, 2025 (ISSN 1613-0073)
2025, Articolo in Atti di convegno - Scheda ARCA: 10278/5105241

Tutte le pubblicazioni