| Vol-4105 urn:nbn:de:0074-4105-x Copyright © 2025 for the individual papers by the papers' authors. Copyright © 2025 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# DLT 2025
Distributed Ledger Technology Workshop 2025

### Proceedings of the Seventh Distributed Ledger Technology Workshop (DLT 2025)

### Pizzo (VV), Italy, June 12-14 2025.

Edited by

### Stefano Bistarelli 1
Carmelo Felicetti 2
Claudio Schifanella 3

1 University of Perugia, Department of Mathematics and Computer Science, Piazza Università, 1 - 06123 Perugia, Italy
2 Università degli Studi della Calabria, Dipartimento di Ingegneria Informatica, Modellistica, Elettronica e Sistemistica, Via Pietro Bucci - 87036 Rende CS, Italy
3 Università degli Studi di Torino, Dipartimento di Informatica, Via Pietro Bucci - 10149 Corso Svizzera 185, Torino, Italy

## 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

2025-11-04: submitted by Claudio Schifanella, metadata incl. bibliographic data published under Creative Commons CC0
2025-11-24: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) | valid HTML5|