Program DLT Workshop – 4-6 June 2026
4 June
PhD stutent reports
| 10:45 – 11:15 | Welcome coffee | |
| 11:15 – 11:35 | Interconnected On-Chain Finance: Empirical Analysis of DeFi | Hasret Ozan Sevim |
| 11:35 – 11:55 | A Policy-Enforced SSI Framework Integrating ABAC, Terms of Use, and Smart Contracts | Stefano Bistarelli, Chiara Luchini and Francesco Santini |
| 11:55 – 12:15 | Blockchain-Oriented Software Engineering for Smart Energy
Systems, Climate Monitoring, and Decentralized Energy Markets | Azmat Ullah |
| 12:15 – 12:35 | Towards optimistic exchanges in DeFi | Emily Priyadarshini |
| 12:35 – 12:55 | Blockchain for data certification | Giacomo Zonneveld and Marco Baldi |
Session A – AI for blockchain and Blockchain for AI | Session Chairs: Massimo Bartoletti, TBA
| 14:00 – 14:15 | Welcome from the DLT chair and local organizers | |
| 14:15 – 14:35 | BlockCold: AI and Blockchain for Secure IoT Food Cold Chains Monitoring | Azmat Ullah; Giuseppe Antonio Pierro |
| 14:35 – 14:55 | Auditable Execution of Machine Learning Algorithms using Blockchain and Trusted Execution Environments | Noemi Romani; Valentina Gatteschi; Riccardo de Caria; Valentina Villa; Marco Domaneschi; Leonardo Zunino; Giorgio Marengo |
| 14:55 – 15:15 | Hardware-Anchored Unclonable Digital Twins for Asset Authentication and Traceability: A Multi-Layer Framework | Carmelo Felicetti; Antonella Guzzo; Domenico Saccà |
| 15:15 – 15:45 | Coffee break | |
| 15:45 – 16:05 | Secure and Private Benchmarking for Subscription-Based AI Inference Services | Vincenzo Botta; Ivan Visconti; Andrea Vitaletti; Marco Zecchini |
| 16:05 – 16:25 | LLMs as verification oracles for Solidity | Massimo Bartoletti; Enrico Lipparini; Livio Pompianu |
| 16:25 – 16:45 | Reentrancy Detection in the Age of LLMs | Dalila Ressi; Alvise Spanò; Matteo Rizzo; Lorenzo Benetollo; Sabina Rossi |
| 18:45 – 19:45 | DLT Group meeting |
5 June
Session B – Analysis of blockchain systems | Session Chairs TBA
| 08:45 – 09:05 | The Illusion of Decentralised Governance: A Structural Analysis of 50 DAOs Across Eight Blockchain Networks | Silvio Meneguzzo; Beatrice Sara; Claudio Schifanella; Alfredo Favenza |
| 09:05 – 09:25 | Which Blockchain Technology Best Supports Self-Protecting Systems? | Simone Albero; Valerio Tatti; Diego Pennino; Tommaso Caiazzi; Stefano Iannucci; Maurizio Pizzonia |
| 09:25 – 09:45 | When Bitcoin Rolls the Dice: An Analysis of Gambling Patterns in SatoshiDice | Calogero Turco; Gabriele Trudu; Damiano Di Francesco Maesa; Laura Ricci |
| 09:45 – 10:05 | The Economic Impact of DeFi Crime Events on Decentralized Autonomous Organizations (DAOs) | Stefan Kitzler; Masarah Paquet-Clouston; Bernhard Haslhofer |
| 10:05 – 10:25 | Pre-Transaction Risk Assessment of Smart Contracts | Semia Guesmi; Sabina Rossi; Carla Piazza |
| 10:25 – 10:45 | Knowledge Graph-Based Gas Optimisation for Smart Contracts: Exploratory Vision and Challenges | Giacomo Francesco Ibba; Gavina Baralla |
| 10:45 – 11:15 | Coffee break | |
Session C1 – DLT applications for identity and trust | Chair: Claudio Schifanella, Maria Ilaria Lunesu
| 11:15 – 11:35 | Threshold Social Recovery for the Italian Public Digital Identity System | Antonino Iaria; Mirko Zichichi; Stefano Ferretti |
| 11:35 – 11:55 | A Post-Quantum Secure Framework for Self-Sovereign Management of Encrypted Personal Data on Blockchain Using ZK-STARK | Alberto Leporati; Andrea Vanini |
| 11:55 – 12:15 | Digital Product Passport: a no-nonsense discussion on the blockchain-based perspectives | Ilaria Lunesu; Lodovica Marchesi; Andrea Pinna; Roberto Tonelli; Andrea Vitaletti |
| 12:15 – 12:35 | Semantic Reasoning for Verifiable Credential Validation in SSI Systems | Stefano Bistarelli; Martin Diéguez Lodeiro; Chiara Luchini; Eric Monfroy; Francesco Santini |
| 12:35 – 12:55 | The adoption of DLT against disinformation: showcasing TRUTHSTER Proof of Concept | Miray Hascoşkan; Matteo Paier; Federico Costantini; Francesco Crisci; Marino Miculan |
| 12:55 – 13:15 | Beyond Transparency: Understanding Consumer Adoption of Blockchain-Traceable Wines | Antonino Galati; Mariantonietta Fiore; Maria Crescimanno; Emanuele Schimmenti; Nino Adamashvili; Angel Peiro-Signes |
Session C2 – DLT applications for safety and security | Chair: Stefano Bistarelli, TBA
| 14:15 – 14:35 | Immutable Digital Twins for Built Heritage on a Permissioned Blockchain | Gavina Baralla; Marco Di Francesco; Vadim Chilinciuc; Roberto Tonelli; Gianni Fenu |
| 14:35 – 14:55 | Compliance Checking for DApp Analysis: a Case Study on the Beanstalk Attack | Flavio Corradini; Alessio Galassi; Alessandro Marcelletti; Leonardo Migliorelli; Andrea Morichetta; Barbara Re |
| 14:55 – 15:15 | BperTrack: A Blockchain-Based Certification Architecture for Transparency, Traceability, and Quality Assurance in Manufacturing | Giacomo Zonneveld; Giulia Rafaiani; Flavio Tonetto; Gianalberto Cecchini; Davide Maffoli; Luca Pagnoni; Franco Chiaraluce; Marco Baldi |
| 15:15 – 15:45 | Coffee break | |
| 15:45 – 16:05 | Privacy-Preserving and Auditable Hygiene Compliance Using Blockchain in Hospital Environments – Extended Abstract | Pierluigi Gallo; Maria Timoshina |
| 16:05 – 16:25 | Six Failure Modes: A Pre-Deployment Diagnostic Framework for Tokenized Collaborative Economies | Irene Domenicale; Sowelu Avanzo; Claudio Schifanella |
| 16:25 – 16:45 | Towards Verifiability of Total Value Locked (TVL) in Decentralized Finance | Pietro Saggese; Michael Fröwis; Stefan Kitzler; Bernhard Haslhofer; Raphael Auer |
6 June
Session D – cross-chain systems and interoperability | Chair: TBA
| 08:45 – 09:05 | On the Interoperability of Central Banks via DLT Technologies : Payments and Tokenized Assets | Federico Calandra; Francesco Fabris; Marco Bernardo |
| 09:05 – 09:25 | Universal Wallet for Trustless Cross-Chain Interoperability via Merkle Proofs | Tariq Naeem; Massimiliano Pirani; Luca Spalazzi |
| 09:25 – 09:45 | A Security Analysis of Cross-Chain Bridges in Multi-Chain Architectures for Institutional Collaboration | Arianna Arruzzoli; Stefano Ferretti; Mirko Zichichi; Ludovico Papalia; Chantal Bomprezzi; Monica Palmirani |
| 09:45 – 10:05 | Interoperability in Enterprise Hyperledger Fabric Blockchains | Luca Olivieri; Aradhita Mukherjee; Nabendu Chaki; Agostino Cortesi |
| 10:05 – 10:25 | ZeroBridge: Interoperability for Permissioned Blockchains | Alessandro Bigiotti; Leonardo Mostarda; Alfredo Navarra; Andrea Pinna; Roberto Tonelli |
| 10:25 – 10:45 | A Modular Framework for Access Control on Cross-Chain Transactions | Domenico Tortola; Francesco Salzano; Roberto Lucchetti; Paolo Mori; Remo Pareschi; Laura Ricci |
| 10:45 – 11:15 | Coffee break | |
Session E – Smart contracts security and analysis | Chair: TBA
| 11:15 – 11:35 | Designing a Decentralized Protocol for Hedging Concentrated Liquidity Positions | Sowelu Avanzo; Luca Pennella; Alex Norta; Arun Kumar; Neha Yadav; Mayank Singh; Claudio Schifanella |
| 11:35 – 11:55 | Access Control in Ethereum Smart Contracts | Luca Olivieri; Dalila Ressi; Alvise Spanò |
| 11:55 – 12:15 | An Empirical Study of Gas Optimization Practices in Solidity Smart Contracts | Francesco Salzano; Paolo Martino; Simone Scalabrino; Rocco Oliveto; Remo Pareschi |
| 12:15 – 12:35 | A Tool for Gas Cost Estimation of Smart Contracts on Solidity-based Blockchains | Stefano Bistarelli; Ivan Mercanti; Carlo Taticchi |
| 12:35 – 12:55 | Extending SolCMC to Verify Temporal Logic Specifications | Luigi Bellomarini; Marco Favorito |
| 12:55 – 13:15 | Design and Analysis of Tokenomics Processes | Simone Valentini; Irene Domenicale; Elvinia Riccobene |
Session F – Consensus layer | Chair: TBA
| 14:15 – 14:35 | Mobile Mining for Proof of Space | Fausto Spoto; Ana Lucia Zandomeneghi; José Renato de Oliveira Lima | |
| 14:35 – 14:55 | Quantum-Assisted Validator Selection for Proof-of-Stake Based Blockchains | Alberto Leporati | |
| 14:55 – 15:15 | Looking for Stability in Proof-of-Stake Based Consensus Mechanisms | Alberto Leporati; Lorenzo Rovida | |
| 15:15 – 15:35 | Agentic-CBDC: On-Chain Euro CBDC Concept Powered By Autonomous Agent Protocol | Hasret Ozan Sevim | |
| 15:35 | Networking coffee | | |
| | | |
