This volume presents the papers selected for inclusion in the seventh edition of the Distributed Ledger Technology Workshop (DLT 2025), held in Pizzo, Italy, from May 12 to 14, 2025. The event continues the tradition of previous editions organized in Perugia (2018), Pisa (2019), Ancona (2020), Rome (2022), Bologna (2023), and Turin (2024), which together constitute one of the two annual meetings of the Italian DLT group. The DLT workshops provide a forum for researchers, developers, and users to discuss topics related to Distributed Ledger Technology and its application in research and business contexts. Their main aim is to encourage dialogue and the exchange of ideas among experts from various fields connected to DLT, thereby contributing to the advancement of the state of the art at both national and international levels. Contributions addressing research, applications, case studies, and experiences with DLT are all welcomed. The DLT 2025 workshop accepted two types of contributions: research papers (regular, short, and PhD student) and oral communications, all presented during the event. In total, 53 submissions were received. Each research paper was evaluated through a peer-review process involving at least three experts in the field, resulting in 22 papers being selected for publication in this volume. We would like to thank all the authors who submitted their work to the workshop, as well as to the members of the Technical Program Committee and their subreviewers for their valuable eforts in reviewing the submissions. • Stefano Bistarelli - Università degli Studi Perugia • Carmelo Felicetti - Università degli Studi della Calabria • Claudio Schifanella - Università degli Studi di Torino Local Organizing Committee • Carmelo Felicetti - Università degli Studi della Calabria • Antonella Guzzo - Università degli Studi della Calabria • Fiza Siyal - Università degli Studi della Calabria • Tahir Usman - Università degli Studi della Calabria • Leonardo Aniello - University of Southampton • Marco Baldi - Università Politecnica delle Marche • Fadi Barbara - Università degli Studi di Roma “La Sapienza”
Organization
• Massimo Bartoletti – Università degli Studi di Cagliari • Marco Benedetti – Banca d’Italia • Andrea Bracciali – Università degli Studi di Torino • Chiara Braghin – Università degli Studi di Milano • Francesco Bruschi – Politecnico di Milano • Michele Ciampi – University of Edinburgh • Agostino Cortesi – Università Ca’ Foscari Venezia • Silvia Crafa – Università degli Studi di Padova • Angelo De Caro – IBM Zurich • Alfredo Favenza – Links Foundation, Torino • Stefano Ferretti – Università degli Studi di Bologna • Danilo Francati – Royal Holloway, University of London • Letterio Galletta – IMT Lucca • Valentina Gatteschi – Politecnico di Torino • Antonella Guzzo – Università degli Studi della Calabria • Cosimo Laneve – Università degli Studi di Bologna • Alberto Leporati – Università degli Studi di Milano-Bicocca • Bernardo Magri – Manchester University • Marino Miculan – Università degli Studi di Udine • Paolo Mori – Istituto di Informatica e Telematica del CNR • Leonardo Mostarda – Università degli Studi di Camerino • Monica Palmirani – Università degli Studi di Bologna • Remo Pareschi – Università degli Studi del Molise • Maurizio Pizzonia – Università degli Studi Roma Tre • Laura Ricci – Università degli studi di Pisa • Sabina Rossi – Università Ca’ Foscari Venezia • Antonino Rullo – ICAR-CNR • Domenico Saccà – Università degli Studi della Calabria • Francesco Santini – Università degli Studi di Perugia • Luisa Siniscalchi – Technical University of Denmark • Francesco Tiezzi – Università degli Studi di Firenze • Adele Veschetti – Technische Universität Darmstadt • Andrea Visconti – Università degli Studi di Milano • Ivan Visconti – Università degli Studi di Roma “La Sapienza” • Andrea Vitaletti – Università degli Studi di Roma “La Sapienza” • Roberto Zunino – Università degli Studi di Trento
08:15 Registration 08:45 Welcome 09:00 Session 1
Improving Driving Behavior: a Blockchain-based Gamification System
SoK: A Survey of Mixing Techniques and Mixers for Cryptocurrencies
Blockchain-Powered Hardware Identity Binding: A Secure, Quantum-Ready Framework for Access Control
Analyzing Terms of Use Adoption in SSI Digital Wallets: A Review of Current Implementations
Participation by Design: Designing Incentives for Collaborative Economies in Local Communities Nawaz Abdullah Malla, Alessandro Marcelletti, Andrea Morichetta and Francesco Tiezzi An Algorand-based Approach for Flexible Execution of BPMN Choreographies 10:50 Cofee break 11:20 Session 2
Exploring Fairness in Ethereum PoS: The Impact of Protocol Design and MEV
Proof-of-Social-Capital: Privacy-Preserving Consensus Protocol Replacing Stake for Social Capital
Data Access and Usage Control for Data Spaces Massimo Bartoletti, Riccardo Marchesin and Roberto Zunino (oral communication) Scalable UTXO Smart Contracts via Fine-Grained Distributed State
A Formal Model of DeFi Intent-based Protocols 14:30 Session 3
Privacy-Preserving Multi-Objective Optimization using Bellman-Ford Algorithm via Zero-Knowledge Proofs Francesco Salzano, Lodovica Marchesi, Cosmo Kevin Antenucci, Simone Scalabrino, Roberto
Bridging Academia and Practice in Smart Contract Security
Deflating Mass-Surveillance Attempts in the Post-Snowden Era: Publicly-Traceable Conditional Decryptions
Using a Public Blockchain for Sharing Malware Signatures Alessandro Bigiotti, Leonardo Mostarda, Alfredo Navarra, Andrea Pinna and Roberto Tonelli (oral communication) ZeroBridge: Make Permissioned Blockchains Interoperable
Towards Next Generation Domain Services: A Committee based Privacy Scheme leveraging Move on IOTA 16:10 Cofee break 16:40 Session 4
Gianpietro Castiglione, Giampaolo Bella, Daniele Francesco Santamaria and Sergio Esposito Private and Verifiable Storage of User Vehicles’ Privacy Settings through Decentralisation Stefano De Angelis, Ivan Visconti, Andrea Vitaletti and Marco Zecchini (oral communication) Eficient Query Verification for Blockchain Superlight Clients Using SNARKs Simone Giufrida, Shahid Salim, Azmat Ullah, Matteo Vaccargiu, Giovanni De Gasperis and
A Move Sui library for secure, certified and trusted supply chain ownership management
Introducing Event-Driven Properties Management in *-chain Stefano De Angelis, Hendrik Waldner and Stefano De Angelis (oral communication) Data Availability Sampling with Multiple Verifiers Under the Honest Majority Assumption
Smart contracts and issue reporting: a preliminary analysis 20:30 Social dinner
09:00 Session 5
Block-Timer: A Layer-Optimized Approach for BPMN Process Execution with Time Constraints on Blockchain
Certified Solutions on Blockchain to Computationally Dificult Optimization Problems
A Cross-chain Erasmus Management System
Non-Fungible Mutable Tokens for Flexible Choreography Roles and Ownership Simone Valentini, Sowelu Avanzo, Elvinia Riccobene, Alex Norta and Claudio Schifanella (oral communication) Developing a Model-Driven Toolchain for the Formal Verification of DAOs Luca Pennella, Pietro Saggese, Fabio Pinelli and Letterio Galletta (oral communication) Systematizing DeFi Derivatives Protocols: A Comparative Analysis and Conceptual Framework for Web3 10:45 Cofee break 11:15 Session 6
On the Use of LLMs for Upgrading Legacy Smart Contracts: An Initial Study
An Entropy-Based Approach to Evaluating the Economic Eficiency of Cryptocurrencies Matteo Vaccargiu, Sabrina Aufiero, Silvia Bartolucci, Rumyana Neykova, Roberto Tonelli and
Mining a Decade of Event Impacts on Contributor Dynamics in Ethereum: A Longitudinal Study
Deciphering DeFi: Econometric Analysis With Multi-Blockchain Approach Emanuele Antonio Napoli, Ivan Spada, Noemi Romani, Valentina Gatteschi and Claudio Schifanella
Smart Contract Visualization: Solutions and Challenges 14:00 Session 7
A Forgery Attack against a Blockchain-based Digital Credential System
Decentralized DNS Resolution Based on Distributed Ledger Technology Lorenzo Benetollo, Semia Guesmi, Carla Piazza, Dalila Ressi, Sabina Rossi and Alvise Spanò Modeling Reentrancy in Smart Contracts through Noninterference Tommaso Caiazzi, Stefano Iannucci, Valerio Marini, Diego Pennino, Maurizio Pizzonia and
A Novel Architecture for Cyber-Resilient Self-Protecting Systems Based on Blockchain Monica Palmirani, Ludovico Papalia, Chantal Bomprezzi, Mirko Zichichi, Arianna Arruzzoli and Stefano Ferretti
Multi-level Architecture for Separation of Powers in Legislative Process 15:30 Cofee break 15:45 Panel
Stefano Bistarelli, Francesco Buccafurri, Andrea Ferrazzi, Francesco Zicari, Domenico Saccà Blockchain: Industrial Applications and Perspectives 17:00 Special session
Manlio Gaudioso, Sergio Greco, Luigi Palopoli, Mimmo Talia, Francesco Buccafurri, Francesco
Event in honor of Prof. Domenico Saccà
09:00 Session 8
Comparative Evaluation of Blockchain Technologies for IoT Energy Monitoring in Residential Settings Azmat Ullah, Maria Ilaria Lunesu, Lodovica Marchesi and Roberto Tonelli (oral communication) A Blockchain-Enabled IoT Monitoring System Alessia Pisu, Livio Pompianu, Daniele Riboni and Salvatore Carta (oral communication) Blockchain-Based IoT Data Certification
IoT Post Quantum Unclonable SRAM/PUF NFT Invoice payment and Settlement, Governance Key Restoration Francesco Blefari, Angelo Furfaro and Francesco Aurelio Pironti (oral communication) DLT-based Data Mules for C2C communication in Smart Shires
AvaDrive: A Blockchain Based Framework for Eficient Vehicle-to-Grid Management 10:40 Cofee break 12:40 Closing