📅 Final Program - DLT 2025

Time Event Type ID Authors Title
08:45 - 09:00 WELCOME
09:00 - 10:50 Session I Chair: Antonella Guzzo
PAPER 32 Alessio Breglia, Andrea De Salve, Paolo Mori and Laura Ricci Assessing the Anonymity of DIDs in Self-Sovereing Identity
ORAL 38 Juraj Mariani and Ivan Homoliak SoK: A Survey of Mixing Techniques and Mixers for Cryptocurrencies
ORAL 40 Carmelo Felicetti, Mikael Bramstedt and Domenico Sacca Blockchain-Powered Hardware Identity Binding: A Secure, Quantum-Ready Framework for Access Control
PAPER 44 Stefano Bistarelli, Chiara Luchini and Francesco Santini Analyzing Terms of Use Adoption in SSI Digital Wallets: A Review of Current Implementations
PAPER 21 Irene Domenicale, Flavia Fredda, Emanuele Spadaro and Claudio Schifanella Participation by Design: Designing Incentives for Collaborative Economies in Local Communities
PAPER 41 Nawaz Abdullah Malla, Alessandro Marcelletti, Andrea Morichetta and Francesco Tiezzi An Algorand-based Approach for Flexible Execution of BPMN Choreographies
10:50 - 11:20 COFFEE
11:20 - 13:00 Session II Chair: Laura Ricci
PAPER 25 Stefano Bistarelli, Ivan Mercanti and Adele Veschetti Exploring Fairness in Ethereum PoS: The Impact of Protocol Design and MEV
ORAL 53 Juraj Mariani and Ivan Homoliak Proof-of-Social-Capital: Privacy-Preserving Consensus Protocol Replacing Stake for Social Capital
PAPER 33 Ramon da Gama Cordeiro and Marcela Tuler de Oliveira Data Access and Usage Control for Data Spaces
ORAL 23 Massimo Bartoletti, Riccardo Marchesin and Roberto Zunino Scalable UTXO Smart Contracts via Fine-Grained Distributed State
ORAL 8 Margherita Renieri and Letterio Galletta A Formal Model of DeFi Intent-based Protocols
13:00 - 14:30 LUNCH
14:30 - 16:10 Session III Chair: Stefano Bistarelli
PAPER 6 Goshgar Can Ismayilov and Can Ozturan Privacy-Preserving Multi-Objective Optimization using Bellman-Ford Algorithm via Zero-Knowledge Proofs
ORAL 9 Francesco Salzano, Lodovica Marchesi, Cosmo Kevin Antenucci, Simone Scalabrino, Roberto Tonelli, Rocco Oliveto and Remo Pareschi Bridging Academia and Practice in Smart Contract Security
PAPER 18 Francesco Bruschi, Marco Esposito, Andrea Rizzini and Ivan Visconti Deflating Mass-Surveillance Attempts in the Post-Snowden Era: Publicly-Traceable Conditional Decryptions
ORAL 19 Aurelio Loris Canino, Lucia Della Spina and Gianluca Lax Using a Public Blockchain for Sharing Malware Signatures
ORAL 30 Alessandro Bigiotti, Leonardo Mostarda, Alfredo Navarra, Andrea Pinna and Roberto Tonelli ZeroBridge: Make Permissioned Blockchains Interoperable
ORAL 35 Antonino Iaria, Mirko Zichichi and Stefano Ferretti Towards Next Generation Domain Services: A Committee based Privacy Scheme leveraging Move on IOTA
16:10 - 16:40 BREAK
16:40 - 18:25 Session IV Chair: Stefano Ferretti
PAPER 50 Gianpietro Castiglione, Giampaolo Bella, Daniele Francesco Santamaria and Sergio Esposito Private and Verifiable Storage of User Vehicles' Privacy Settings through Decentralisation
ORAL 51 Stefano De Angelis, Ivan Visconti, Andrea Vitaletti and Marco Zecchini [Oral communication] Efficient Query Verification for Blockchain Superlight Clients Using SNARKs
ORAL 15 Simone Giuffrida, Shahid Salim, Azmat Ullah, Matteo Vaccargiu, Giovanni De Gasperis and Roberto Tonelli A Move Sui library for secure, certified and trusted supply chain ownership management
PAPER 31 Stefano Bistarelli, Ivan Mercanti, Paolo Mori and Carlo Taticchi Introducing Event-Driven Properties Management in *-chain
ORAL 54 Stefano De Angelis, Hendrik Waldner and Stefano De Angelis Data Availability Sampling with Multiple Verifiers Under the Honest Majority Assumption
PAPER 37 Ermanno Francesco Sannini, Andrea Di Sorbo and Corrado Aaron Visaggio Smart contracts and issue reporting: a preliminary analysis
20:30 - 22:30 SOCIAL DINNER
Barbecue at the TUI MAGIC LIFE Calabria
beach restaurant
Time Event Type ID Authors Title
09:00 - 10:45 Session V Chair: Carmelo Felicetti
PAPER 20 Matteo Vaccargiu, Endri Xhina and Roberto Tonelli Block-Timer: A Layer-Optimized Approach for BPMN Process Execution with Time Constraints on Blockchain
PAPER 22 Alberto Leporati Certified Solutions on Blockchain to Computationally Difficult Optimization Problems
ORAL 28 Domenico Tortola, Mauro Orrù, Paolo Mori and Laura Ricci A Cross-chain Erasmus Management System
PAPER 34 Francesco Donini, Alessandro Marcelletti, Andrea Morichetta and Andrea Polini Non-Fungible Mutable Tokens for Flexible Choreography Roles and Ownership
ORAL 16 Simone Valentini, Sowelu Avanzo, Elvinia Riccobene, Alex Norta and Claudio Schifanella Developing a Model-Driven Toolchain for the Formal Verification of DAOs
ORAL 4 Luca Pennella, Pietro Saggese, Fabio Pinelli and Letterio Galletta Systematizing DeFi Derivatives Protocols: A Comparative Analysis and Conceptual Framework for Web3
10:45 - 11:15 COFFEE
11:15 - 13:00 Session VI Chair: Alberto Leporati
PAPER 36 Andrea Pinna, Gavina Baralla, Giacomo Ibba and Roberto Tonelli On the Use of LLMs for Upgrading Legacy Smart Contracts: An Initial Study
PAPER 13 Vincenzo Di Perna, Michele Foderaro, Francesco Fabris and Marco Bernardo An Entropy-Based Approach to Evaluating the Economic Efficiency of Cryptocurrencies
ORAL 14 Matteo Vaccargiu, Sabrina Aufiero, Silvia Bartolucci, Rumyana Neykova, Roberto Tonelli and Giuseppe Destefanis Mining a Decade of Event Impacts on Contributor Dynamics in Ethereum: A Longitudinal Study
ORAL 17 Hasret Ozan Sevim Deciphering DeFi: Econometric Analysis With Multi-Blockchain Approach
PAPER 49 Emanuele Antonio Napoli, Ivan Spada, Noemi Romani, Valentina Gatteschi and Claudio Schifanella Smart Contract Visualization: Solutions and Challenges
13:00 - 14:00 LUNCH
14:00 - 15:30 Session VII Chair: Ivan Visconti
ORAL 24 Giacomo Zonneveld, Giulia Rafaiani and Marco Baldi A Forgery Attack against a Blockchain-based Digital Credential System
PAPER 26 George Giamouridis, Boojoong Kang and Leonardo Aniello Decentralized DNS Resolution Based on Distributed Ledger Technology
PAPER 27 Lorenzo Benetollo, Semia Guesmi, Carla Piazza, Dalila Ressi, Sabina Rossi and Alvise Spanò Modeling Reentrancy in Smart Contracts through Noninterference
ORAL 43 Tommaso Caiazzi, Stefano Iannucci, Valerio Marini, Diego Pennino, Maurizio Pizzonia and Riccardo Torlone A Novel Architecture for Cyber-Resilient Self-Protecting Systems Based on Blockchain
PAPER 47 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 - 15:45 COFFEE
15:45 - 17:00 PANEL
Chair: P. Soldavini 		Panelist Stefano Bistarelli, Francesco Buccafurri, Andrea Ferrazzi, Francesco Zicari, Domenico Saccà Blockchain: Industrial Applications and Perspectives
17:00 - 18:30 SPECIAL SESSION Special Manlio Gaudioso, Sergio Greco, Luigi Palopoli, Mimmo Talia, Francesco Buccafurri, Francesco Scarcello, Stefano Bistarelli Event in honor of Prof. Domenico Saccà
Time Event Type ID Authors Title
09:00 - 10:40 Session VIII Chair: Paolo Mori
PAPER 5 Azmat Ullah and Giuseppe Antonio Pierro Comparative Evaluation of Blockchain Technologies for IoT Energy Monitoring in Residential Settings
ORAL 10 Azmat Ullah, Maria Ilaria Lunesu, Lodovica Marchesi and Roberto Tonelli A Blockchain-Enabled IoT Monitoring System
ORAL 12 Alessia Pisu, Livio Pompianu, Daniele Riboni and Salvatore Carta Blockchain-Based IoT Data Certification
ORAL 42 Carmelo Felicetti, Mikael Bramstedt and Naeem Mansha IoT Post Quantum Unclonable SRAM/PUF NFT Invoice payment and Settlement, Governance & Key Restoration
ORAL 52 Francesco Blefari, Angelo Furfaro and Francesco Aurelio Pironti DLT-based Data Mules for C2C communication in Smart Shires
PAPER 48 Aurora Guaresi, Chiara Braghin and Stelvio Cimato AvaDrive: A Blockchain Based Framework for Efficient Vehicle-to-Grid Management
10:40 - 11:10 BREAK
11:10 - 12:40 DLTMeeting Meeting DLT Group
12:40 - 12:50 CLOSING