{"id":323,"date":"2026-05-25T15:01:13","date_gmt":"2026-05-25T13:01:13","guid":{"rendered":"https:\/\/convegni.unica.it\/dlt2026\/?page_id=323"},"modified":"2026-05-25T15:15:52","modified_gmt":"2026-05-25T13:15:52","slug":"program-dlt-workshop-4-6-june-2026","status":"publish","type":"page","link":"https:\/\/convegni.unica.it\/dlt2026\/program-dlt-workshop-4-6-june-2026\/","title":{"rendered":"Program DLT Workshop – 4-6 June 2026"},"content":{"rendered":"\n

4 June<\/h2>\n\n\n\n

PhD stutent reports<\/strong><\/p>\n\n\n\n

10:45 – 11:15<\/td>Welcome coffee <\/strong> <\/td><\/td><\/tr>
11:15 – 11:35<\/td>Interconnected On-Chain Finance: Empirical Analysis of DeFi<\/td>Hasret Ozan Sevim<\/td><\/tr>
11:35 – 11:55<\/td>A Policy-Enforced SSI Framework Integrating ABAC, Terms of Use, and Smart Contracts <\/td>Stefano Bistarelli, Chiara Luchini and Francesco Santini <\/td><\/tr>
11:55 – 12:15<\/td>Blockchain-Oriented Software Engineering for Smart Energy
Systems, Climate Monitoring, and Decentralized Energy Markets <\/td>		Azmat Ullah <\/td><\/tr>
12:15 – 12:35<\/td>Towards optimistic exchanges in DeFi<\/td>Emily Priyadarshini<\/td><\/tr>
12:35 – 12:55<\/td>Blockchain for data certification<\/td>Giacomo Zonneveld and Marco Baldi <\/td><\/tr><\/tbody><\/table><\/div><\/figure>\n\n\n\n
13:00 – 14:00<\/td>Lunch<\/strong> <\/td><\/tr><\/tbody><\/table><\/div><\/figure>\n\n\n\n

<\/p>\n\n\n\n

Session A – AI for blockchain and Blockchain for AI | Session Chairs: Massimo Bartoletti, TBA<\/strong><\/p>\n\n\n\n

14:00 – 14:15<\/td>Welcome from the DLT chair and local organizers<\/strong><\/td><\/td><\/tr>
14:15 – 14:35<\/td>BlockCold: AI and Blockchain for Secure IoT Food Cold Chains Monitoring<\/td>Azmat Ullah; Giuseppe Antonio Pierro<\/td><\/tr>
14:35 – 14:55<\/td>Auditable Execution of Machine Learning Algorithms using Blockchain and Trusted Execution Environments<\/td>Noemi Romani; Valentina Gatteschi; Riccardo de Caria; Valentina Villa; Marco Domaneschi; Leonardo Zunino; Giorgio Marengo<\/td><\/tr>
14:55 – 15:15<\/td>Hardware-Anchored Unclonable Digital Twins for Asset Authentication and Traceability: A Multi-Layer Framework<\/td>Carmelo Felicetti; Antonella Guzzo; Domenico Sacc\u00e0<\/td><\/tr>
15:15 – 15:45<\/td>Coffee break<\/td><\/td><\/tr>
15:45 – 16:05<\/td>Secure and Private Benchmarking for Subscription-Based AI Inference Services<\/td>Vincenzo Botta; Ivan Visconti; Andrea Vitaletti; Marco Zecchini<\/td><\/tr>
16:05 – 16:25<\/td>LLMs as verification oracles for Solidity<\/td>Massimo Bartoletti; Enrico Lipparini; Livio Pompianu<\/td><\/tr>
16:25 – 16:45<\/td>Reentrancy Detection in the Age of LLMs<\/td>Dalila Ressi; Alvise Span\u00f2; Matteo Rizzo; Lorenzo Benetollo; Sabina Rossi<\/td><\/tr><\/tbody><\/table><\/div><\/figure>\n\n\n\n
18:45 – 19:45<\/td>DLT Group meeting <\/strong> <\/td><\/tr><\/tbody><\/table><\/div><\/figure>\n\n\n\n
19:45 <\/td>Social aperitif <\/strong> <\/td><\/tr><\/tbody><\/table><\/div><\/figure>\n\n\n\n

<\/p>\n\n\n\n

5 June<\/h2>\n\n\n\n

Session B – Analysis of blockchain systems | Session Chair<\/strong>s TBA<\/p>\n\n\n\n

08:45 – 09:05<\/td>The Illusion of Decentralised Governance: A Structural Analysis of 50 DAOs Across Eight Blockchain Networks<\/td>Silvio Meneguzzo; Beatrice Sara; Claudio Schifanella; Alfredo Favenza<\/td><\/tr>
09:05 – 09:25<\/td>Which Blockchain Technology Best Supports Self-Protecting Systems?<\/td>Simone Albero; Valerio Tatti; Diego Pennino; Tommaso Caiazzi; Stefano Iannucci; Maurizio Pizzonia<\/td><\/tr>
09:25 – 09:45<\/td>When Bitcoin Rolls the Dice: An Analysis of Gambling Patterns in SatoshiDice<\/td>Calogero Turco; Gabriele Trudu; Damiano Di Francesco Maesa; Laura Ricci<\/td><\/tr>
09:45 – 10:05<\/td>The Economic Impact of DeFi Crime Events on Decentralized Autonomous Organizations (DAOs)<\/td>Stefan Kitzler; Masarah Paquet-Clouston; Bernhard Haslhofer<\/td><\/tr>
10:05 – 10:25<\/td>Pre-Transaction Risk Assessment of Smart Contracts<\/td>Semia Guesmi; Sabina Rossi; Carla Piazza<\/td><\/tr>
10:25 – 10:45<\/td>Knowledge Graph-Based Gas Optimisation for Smart Contracts: Exploratory Vision and Challenges<\/td>Giacomo Francesco Ibba; Gavina Baralla<\/td><\/tr>
10:45 – 11:15<\/td>Coffee break<\/strong><\/td><\/td><\/tr><\/tbody><\/table><\/div><\/figure>\n\n\n\n

Session C1 – DLT applications for identity and trust | Chair: Claudio Schifanella, Maria Ilaria Lunesu<\/strong><\/p>\n\n\n\n

11:15 – 11:35<\/td>Threshold Social Recovery for the Italian Public Digital Identity System<\/td>Antonino Iaria; Mirko Zichichi; Stefano Ferretti<\/td><\/tr>
11:35 – 11:55<\/td>A Post-Quantum Secure Framework for Self-Sovereign Management of Encrypted Personal Data on Blockchain Using ZK-STARK<\/td>Alberto Leporati; Andrea Vanini<\/td><\/tr>
11:55 – 12:15<\/td>Digital Product Passport: a no-nonsense discussion on the blockchain-based perspectives<\/td>Ilaria Lunesu; Lodovica Marchesi; Andrea Pinna; Roberto Tonelli; Andrea Vitaletti<\/td><\/tr>
12:15 – 12:35<\/td>Semantic Reasoning for Verifiable Credential Validation in SSI Systems<\/td>Stefano Bistarelli; Martin Di\u00e9guez Lodeiro; Chiara Luchini; Eric Monfroy; Francesco Santini<\/td><\/tr>
12:35 – 12:55<\/td>The adoption of DLT against disinformation: showcasing TRUTHSTER Proof of Concept<\/td>Miray Hasco\u015fkan; Matteo Paier; Federico Costantini; Francesco Crisci; Marino Miculan<\/td><\/tr>
12:55 – 13:15<\/td>Beyond Transparency: Understanding Consumer Adoption of Blockchain-Traceable Wines<\/td>Antonino Galati; Mariantonietta Fiore; Maria Crescimanno; Emanuele Schimmenti; Nino Adamashvili; Angel Peiro-Signes<\/td><\/tr><\/tbody><\/table><\/div><\/figure>\n\n\n\n
13:15 – 14:15<\/td>Lunch<\/strong> <\/td><\/tr><\/tbody><\/table><\/div><\/figure>\n\n\n\n

Session C2 – DLT applications for safety and security | Chair: Stefano Bistarelli<\/strong>, TBA<\/p>\n\n\n\n

14:15 – 14:35<\/td>Immutable Digital Twins for Built Heritage on a Permissioned Blockchain<\/td>Gavina Baralla; Marco Di Francesco; Vadim Chilinciuc; Roberto Tonelli; Gianni Fenu<\/td><\/tr>
14:35 – 14:55<\/td>Compliance Checking for DApp Analysis: a Case Study on the Beanstalk Attack<\/td>Flavio Corradini; Alessio Galassi; Alessandro Marcelletti; Leonardo Migliorelli; Andrea Morichetta; Barbara Re<\/td><\/tr>
14:55 – 15:15<\/td>BperTrack: A Blockchain-Based Certification Architecture for Transparency, Traceability, and Quality Assurance in Manufacturing<\/td>Giacomo Zonneveld; Giulia Rafaiani; Flavio Tonetto; Gianalberto Cecchini; Davide Maffoli; Luca Pagnoni; Franco Chiaraluce; Marco Baldi<\/td><\/tr>
15:15 – 15:45<\/td>Coffee break<\/strong><\/td><\/td><\/tr>
15:45 – 16:05<\/td>Privacy-Preserving and Auditable Hygiene Compliance Using Blockchain in Hospital Environments – Extended Abstract<\/td>Pierluigi Gallo; Maria Timoshina<\/td><\/tr>
16:05 – 16:25<\/td>Six Failure Modes: A Pre-Deployment Diagnostic Framework for Tokenized Collaborative Economies<\/td>Irene Domenicale; Sowelu Avanzo; Claudio Schifanella<\/td><\/tr>
16:25 – 16:45<\/td>Towards Verifiability of Total Value Locked (TVL) in Decentralized Finance<\/td>Pietro Saggese; Michael Fr\u00f6wis; Stefan Kitzler; Bernhard Haslhofer; Raphael Auer<\/td><\/tr><\/tbody><\/table><\/div><\/figure>\n\n\n\n

6 June<\/h2>\n\n\n\n

Session D – cross-chain systems and interoperability | Chair: TBA<\/strong><\/p>\n\n\n\n

08:45 – 09:05<\/td>On the Interoperability of Central Banks via DLT Technologies : Payments and Tokenized Assets<\/td>Federico Calandra; Francesco Fabris; Marco Bernardo<\/td><\/tr>
09:05 – 09:25<\/td>Universal Wallet for Trustless Cross-Chain Interoperability via Merkle Proofs<\/td>Tariq Naeem; Massimiliano Pirani; Luca Spalazzi<\/td><\/tr>
09:25 – 09:45<\/td>A Security Analysis of Cross-Chain Bridges in Multi-Chain Architectures for Institutional Collaboration<\/td>Arianna Arruzzoli; Stefano Ferretti; Mirko Zichichi; Ludovico Papalia; Chantal Bomprezzi; Monica Palmirani<\/td><\/tr>
09:45 – 10:05<\/td>Interoperability in Enterprise Hyperledger Fabric Blockchains<\/td>Luca Olivieri; Aradhita Mukherjee; Nabendu Chaki; Agostino Cortesi<\/td><\/tr>
10:05 – 10:25<\/td>ZeroBridge: Interoperability for Permissioned Blockchains<\/td>Alessandro Bigiotti; Leonardo Mostarda; Alfredo Navarra; Andrea Pinna; Roberto Tonelli<\/td><\/tr>
10:25 – 10:45<\/td>A Modular Framework for Access Control on Cross-Chain Transactions<\/td>Domenico Tortola; Francesco Salzano; Roberto Lucchetti; Paolo Mori; Remo Pareschi; Laura Ricci<\/td><\/tr>
10:45 – 11:15<\/td>Coffee break<\/td><\/td><\/tr><\/tbody><\/table><\/div><\/figure>\n\n\n\n

Session E – Smart contracts security and analysis | Chair: TBA<\/strong><\/p>\n\n\n\n

11:15 – 11:35<\/td>Designing a Decentralized Protocol for Hedging Concentrated Liquidity Positions<\/td>Sowelu Avanzo; Luca Pennella; Alex Norta; Arun Kumar; Neha Yadav; Mayank Singh; Claudio Schifanella<\/td><\/tr>
11:35 – 11:55<\/td>Access Control in Ethereum Smart Contracts<\/td>Luca Olivieri; Dalila Ressi; Alvise Span\u00f2<\/td><\/tr>
11:55 – 12:15<\/td>An Empirical Study of Gas Optimization Practices in Solidity Smart Contracts<\/td>Francesco Salzano; Paolo Martino; Simone Scalabrino; Rocco Oliveto; Remo Pareschi<\/td><\/tr>
12:15 – 12:35<\/td>A Tool for Gas Cost Estimation of Smart Contracts on Solidity-based Blockchains<\/td>Stefano Bistarelli; Ivan Mercanti; Carlo Taticchi<\/td><\/tr>
12:35 – 12:55<\/td>Extending SolCMC to Verify Temporal Logic Specifications<\/td>Luigi Bellomarini; Marco Favorito<\/td><\/tr>
12:55 – 13:15<\/td>Design and Analysis of Tokenomics Processes<\/td>Simone Valentini; Irene Domenicale; Elvinia Riccobene<\/td><\/tr><\/tbody><\/table><\/div><\/figure>\n\n\n\n
13:15 – 14:15<\/td>Lunch<\/strong> <\/td><\/tr><\/tbody><\/table><\/div><\/figure>\n\n\n\n

Session F – Consensus layer | Chair: TBA<\/strong><\/p>\n\n\n\n

14:15 – 14:35<\/td>Mobile Mining for Proof of Space<\/td>Fausto Spoto; Ana Lucia Zandomeneghi; Jos\u00e9 Renato de Oliveira Lima<\/td><\/td><\/tr>
14:35 – 14:55<\/td>Quantum-Assisted Validator Selection for Proof-of-Stake Based Blockchains<\/td>Alberto Leporati<\/td><\/td><\/tr>
14:55 – 15:15<\/td>Looking for Stability in Proof-of-Stake Based Consensus Mechanisms<\/td>Alberto Leporati; Lorenzo Rovida<\/td><\/td><\/tr>
15:15 – 15:35<\/td>Agentic-CBDC: On-Chain Euro CBDC Concept Powered By Autonomous Agent Protocol<\/td>Hasret Ozan Sevim<\/td><\/td><\/tr>
15:35 <\/td>Networking coffee<\/strong><\/td><\/td><\/td><\/tr>
<\/td><\/td><\/td><\/td><\/tr><\/tbody><\/table><\/div><\/figure>\n\n\n\n

<\/p>\n\n\n\n

<\/p>\n\n\n\n

<\/p>\n\n\n\n

<\/p>\n","protected":false},"excerpt":{"rendered":"

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 […]<\/p>\n","protected":false},"author":3479,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-323","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/convegni.unica.it\/dlt2026\/wp-json\/wp\/v2\/pages\/323","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/convegni.unica.it\/dlt2026\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/convegni.unica.it\/dlt2026\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/convegni.unica.it\/dlt2026\/wp-json\/wp\/v2\/users\/3479"}],"replies":[{"embeddable":true,"href":"https:\/\/convegni.unica.it\/dlt2026\/wp-json\/wp\/v2\/comments?post=323"}],"version-history":[{"count":8,"href":"https:\/\/convegni.unica.it\/dlt2026\/wp-json\/wp\/v2\/pages\/323\/revisions"}],"predecessor-version":[{"id":335,"href":"https:\/\/convegni.unica.it\/dlt2026\/wp-json\/wp\/v2\/pages\/323\/revisions\/335"}],"wp:attachment":[{"href":"https:\/\/convegni.unica.it\/dlt2026\/wp-json\/wp\/v2\/media?parent=323"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}