General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study. - Luca Olivieri; Vincenzo Arceri; Badaruddin Chachar; Luca Negrini 001; Fabio Tagliaferro; Fausto Spoto; Pietro Ferrara 001; Agostino Cortesi (IEEE Access, 2024)

Detection of Phantom Reads in Hyperledger Fabric. - Luca Olivieri; Luca Negrini 001; Vincenzo Arceri; Badaruddin Chachar; Pietro Ferrara 001; Agostino Cortesi (IEEE Access, 2024)

Finding Vulnerabilities in Solidity Smart Contracts with In-Context Learning. - Badaruddin Chachar; Marc Cavazza; Andrea Bracciali; Pietro Ferrara 001; Agostino Cortesi (ITASEC/SERICS, 2025)