DLT 2025
Distributed Ledger Technology Workshop 2025

Table of Contents

• Preface
  
  Summary: There were 33 papers submitted for peer-review to this workshop. Out of these, 22 papers were accepted for this volume, 14 as regular papers and 8 as short papers.

• Assessing the Anonymity of DIDs in Self-Sovereing Identity
  Alessio Breglia, Andrea De Salve, Paolo Mori, Laura Ricci
• Analyzing Terms of Use Adoption in SSI Digital Wallets: A Review of Current Implementations (short paper)
  Stefano Bistarelli, Chiara Luchini, Francesco Santini
• Participation by Design: Designing Incentives for Collaborative Economies in Local Communities
  Irene Domenicale, Flavia Fredda, Emanuele Spadaro, Claudio Schifanella
• An Algorand-based Approach for Flexible Execution of BPMN Choreographies
  Nawaz Abdullah Malla, Alessandro Marcelletti, Andrea Morichetta, Francesco Tiezzi
• Exploring Fairness in Ethereum PoS: The Impact of Protocol Design and MEV (short paper)
  Stefano Bistarelli, Ivan Mercanti, Adele Veschetti
• Data Access and Usage Control for Data Spaces
  Ramon da Gama Cordeiro, Marcela Tuler de Oliveira
• Privacy-Preserving Multi-Objective Optimization using Bellman-Ford Algorithm via Zero-Knowledge Proofs (short paper)
  Goshgar Can Ismayilov, Can Ozturan
• Deflating Mass-Surveillance Attempts in the Post-Snowden Era: Publicly-Traceable Conditional Decryptions (short paper)
  Francesco Bruschi, Marco Esposito, Andrea Rizzini, Ivan Visconti
• Private and Verifiable Storage of User Vehicles' Privacy Settings through Decentralisation (short paper)
  Gianpietro Castiglione, Giampaolo Bella, Daniele Francesco Santamaria, Sergio Esposito
• Introducing Event-Driven Properties Management in *-chain
  Stefano Bistarelli, Ivan Mercanti, Paolo Mori, Carlo Taticchi
• Smart contracts and issue reporting: a preliminary analysis (short paper)
  Ermanno Francesco Sannini, Andrea Di Sorbo, Corrado Aaron Visaggio
• Block-Timer: A Layer-Optimized Approach for BPMN Process Execution with Time Constraints on Blockchain
  Matteo Vaccargiu, Endri Xhina, Roberto Tonelli
• Certified Solutions on Blockchain to Computationally Difficult Optimization Problems (short paper)
  Alberto Leporati
• Non-Fungible Mutable Tokens for Flexible Choreography Roles and Ownership
  Francesco Donini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini
• On the Use of LLMs for Upgrading Legacy Smart Contracts: An Initial Study
  Andrea Pinna, Gavina Baralla, Giacomo Ibba, Roberto Tonelli
• An Entropy-Based Approach to Evaluating the Economic Efficiency of Cryptocurrencies
  Vincenzo Di Perna, Michele Foderaro, Francesco Fabris, Marco Bernardo
• Smart Contract Visualization: Solutions and Challenges
  Emanuele Antonio Napoli, Ivan Spada, Noemi Romani, Valentina Gatteschi, Claudio Schifanella
• Decentralized DNS Resolution Based on Distributed Ledger Technology (short paper)
  George Giamouridis, Boojoong Kang, Leonardo Aniello
• Modeling Reentrancy in Smart Contracts through Noninterference
  Lorenzo Benetollo, Semia Guesmi, Carla Piazza, Dalila Ressi, Sabina Rossi, Alvise Spanò
• Multi-level Architecture for Separation of Powers in Legislative Process
  Monica Palmirani, Ludovico Papalia, Chantal Bomprezzi, Mirko Zichichi, Arianna Arruzzoli, Stefano Ferretti
• Comparative Evaluation of Blockchain Technologies for IoT Energy Monitoring in Residential Settings
  Azmat Ullah, Giuseppe Antonio Pierro, Roberto Tonelli
• AvaDrive: A Blockchain Based Framework for Efficient Vehicle-to-Grid Management
  Aurora Guaresi, Chiara Braghin, Stelvio Cimato