The DLT workshops are meant as a forum for researchers, developers, and users to discuss issues related to Distributed Ledger Technology and its adoption in research and business scenarios. The primary goal is to foster discussion and cross-fertilisation of ideas among experts in different fields related to DLT, and thus advance the national and international state of the art. Research, applications, case studies, and experiences concerning DLT are all encouraged. We would like to sincerely thank all the authors who submitted their papers to our workshop, and to the members of the Technical Program Committee and their subreviewers for their valuable work in evaluating the submitted papers. Program co-chairs ● Massimo Bartoletti - Università degli Studi di Cagliari ● Claudio Schifanella - Università degli Studi di Torino ● Andrea Vitaletti - Università degli Studi di Roma “La Sapienza”
● Claudio Schifanella – Università degli Studi di Torino ● Andrea Visconti – Università degli Studi di Milano ● Ivan Visconti – Università degli Studi di Salerno ● Marco Zecchini – Università degli Studi di Salerno ● Roberto Zunino – Università degli Studi di Trento
08:15 Registration 08:45 Welcome 09:00 Session 1 – Blockchain for good
Alberto Butera, Noemi Romani and Valentina Gatteschi
Gavina Baralla, Luisanna Cocco, Roberto Tonelli and Marco Di Francesco A Blockchain-Based System Proposal for management and monitoring Historical
Giovanni Miri
Blockchain Enabling Project-Focused Public Debt: A DApp to Help Public Entities
Ivan Homoliak
09:42 Session 2 – DAOs
Irene Domenicale, Flavia Fredda and Claudio Schifanella
Tokenomics in Civic Blockchain: Implementing Community and SoulBound
Sowelu Avanzo, Alex Norta, Julio Linares, Claudio Schifanella and Marie Hattingh
Stefan Kitzler, Stefano Balietti, Pietro Saggese, Bernhard Haslhofer and Markus Strohmaier
The Involvement of Contributors in Decentralized Autonomous Organizations’ (DAOs) Governance (Oral communication)
Alberto Leporati
Stefano Ferretti, Gabriele D’Angelo, Angelo Furfaro and Paolo Giaccone How Blockchain Technologies can Promote the Creation of Smart Services in
10:45 Coffee break 11:15 Invited speaker 12:15 Sponsor 12:30 Session 3 – AI
Stefan Schulte
Afredo Favenza – Links Foundation Fadi Barbara, Emanuele Antonio Napoli, Valentina Gatteschi and Claudio Schifanella Automatic Smart Contract Generation Through LLMs: When The Stochastic Parrot Jahan Zeb Shahid and Stelvio Cimato
Giovanni De Gasperis and Sante Dino Facchini
13:05 Lunch 14:18 Session 4 – Applied Crypto
Diego Pennino and Maurizio Pizzonia Virtual Private Blockchains for GDPR: Cheap Private Blockchains out of Public Domenico Tortola, Andrea Pelosi, Giuseppe Gabriele Russo, Paolo Mori and Laura Ricci zkSNARKs Libraries for Blockchains: a Comparative Study Abhimanyu Rawat, Tarun Kumar Vangani, Hanno Cornelius and Vanesa Daza
Gennaro Avitabile, Vincenzo Botta, Daniele Friolo and Ivan Visconti
Pierpaolo Della Monica, Ivan Visconti, Andrea Vitaletti and Marco Zecchini
15:27 Session 5 – Supply Chain
Carmelo Felicetti, Domenico Saccà, Antonella Guzzo and Francesco Pasqua Innovative Distributed Ledger Technologies for Local Product Traceability in
Giulia Rafaiani, Giacomo Zonneveld, Paolo Santini, Massimo Battaglioni, Franco Chiaraluce and Marco Baldi
A Blockchain-based Architecture for Data Certification and Notarization (Oral communication)
Alberto Amico, Vincenzo Apicella, Alberto Bufera, Devis Bianchini, Matteo Cesana, Gabriele Digregorio, Massimiliano Garda, Valentina Gatteschi,
Corrado Innamorati, Francesco Leotta, Stefano Longari, Pierluigi Plebani, Mariarosa Pizzo, Giovanni Quattrocchi, Noemi Romano, Letizia Tanca,
Andrea Vitaletti and Stefano Zanero
Blockchain-based solutions for trusted and quality-aware data sharing (Oral communication) 16:00 Session 6 – Software Engineering
Andrea Pinna, Ilaria Lunesu and Roberto Tonelli
Blockchain Technologies for Managing Ephemeral Teams for Agile Software
Francesco Salzano, Lodovica Marchesi, Remo Pareschi, Roberto Tonelli, Simone Scalabrino and Rocco Oliveto
How are Smart Contracts Vulnerabilities Fixed? Bridging the Gap between Theory and Practice (Oral communication) 16:18 Coffee Break 16:48 Session 7 – Formal Methods
Adele Veschetti, Richard Bubel and Reiner Hähnle SmartML: Enhancing Security and Reliability in Smart Contract Development Silvia Crafa, Giacomo Dal Sasso, Alvise Spanò, Sabina Rossi and Michele Bugliesi
Joao Afonso, Elvis Gerardin Konjoh Selabi, Maurizio Murgia, Emilio Tuosto and António Ravara
TRAC: a tool for data-aware coordination (with an application to smart contracts) (Oral communication)
Samia Guesmi, Carla Piazza and Sabina Rossi
Chiara Braghin, Elvinia Riccobene and Simone Valentini
A Formal Framework for security assessment of Ethereum Smart Contracts (Oral communication) Sainas
Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi, Roberto Pettinau and Franco Towards benchmarking of Solidity verification tools (Oral communication) Dario Maddaloni, Riccardo Marchesin and Roberto Zunino
How To Save Fees in Bitcoin Smart Contracts: a Simple Optimistic Off-chain
Giulia Matricardi, Fabio Fioravanti and Marco Di Ianni
Visualizing CHC Verification Conditions for Smart Contracts Auditing (Oral communication)
Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini and Vadim Malvone
18:40 Meeting DLT Group 20:30 Social Dinner
During the event, prizes were awarded to the authors of the best paper and the best reviews.
A Netting Protocol for Liquidity-saving Automated Market Makers Margherita Renieri, Letterio Galletta, Alberto Lluch Lafuente and James Chiang
Fadi Barbara Pierpaolo Della Monica Riccardo Marchesin
08:30 Session 8 – Integrating Tech
Stefano Bistarelli, Chiara Luchini and Francesco Santini Policy-based Credential Disclosure in SSI by Using ORCON-based Access Control Ivan Homoliak
Secure Logging with Blockchains and its Utilization for Central Bank Digital
Mohammad Rowhani Sistani, Pierluigi Gallo and Maria Timoshina
Integrating Computer Vision & Blockchain for Enhanced Saffron Evaluation: A
Hasret Ozan Sevim
A Survey on Cross-chain Interoperability Solutions within the On-chain Finance
George Giamouridis, Boojoong Kang and Leonardo Aniello
Luigi Bellomarini, Marco Favorito, Eleonora Laurenza, Markus Nissl and Emanuel Sallinger
09:48 Session 9 – DeFi
Margherita Renieri, Letterio Galletta, Alberto Lluch Lafuente and James Chiang
Federico Calandra, Francesco Pio Rossi, Francesco Fabris and Marco Bernardo
Margherita Renieri and Letterio Galletta
Detection of De-Fi Profitable Scenarios through History-Based Policies (Oral communication) 10:36 Coffee break 11:06 Session 10 – Consensus
Angelo Murano, Bruna Bruno and Vincenzo Vespri
Stefano Bistarelli, Cosimo Laneve, Ivan Mercanti and Adele Veschetti
Alked Ejupi, Stefano De Angelis and Vladimiro Sassone
Performance and scalability testing for blockchain consensus protocols: a systematic framework
Ivan Malakhov, Andrea Marin, Sabina Rossi, Carla Piazza and Daria Smuseva
António Ravara
Ivan Visconti, Andrea Vitaletti and Marco Zecchini
12:09 Session 11 – Layer 2
Marco Benedetti, Francesco De Sclavis, Giuseppe Galano, Sara Giammusso, Antonio Muci and Matteo Nardelli
Impact of Layer-1 Characteristics on Scalability of Layer-2 Semi-Hierarchical
Ivan Gallo, Marina Ribaudo and Matteo Dell’Amico
12:42 Lunch 13:57 Session 12 – Analytics and Measurements
Antonio Pierro, Luisanna Cocco and Roberto Tonelli Besu vs. Quorum: Comparative Analysis in the Context of Energy Communities Alvaro Revuelta, Sergei Tikhomirov, Aaryamann Challani, Hanno Cornelius and Simon Pierre Vivier
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta and Barbara Re
Stefano Bistarelli, Francesco Santini and Luca Maria Tutino
Stefano Bistarelli, Gianlorenzo Giuliani, Ivan Mercanti and Francesco Santini
Nicola Elia, Francesco Barchi, Alessia Pisu, Livio Pompianu and Andrea Acquaviva
Nawaz Abdullah Malla, Alessandro Marcelletti, Andrea Morichetta and Francesco Tiezzi
Stefano Bistarelli, Marco Fiore, Antonio Ignazio Lazzizera, Ivan Mercanti and Marina Mongiello
Analysis of Blockchain Sustainability through the Comparison of Different Smart
Luca Olivieri, Luca Pasetto, Luca Negrini and Pietro Ferrara
European Union Data Act and Blockchain Technology: Challenges and New
Ludovico Papalia and Chantal Bomprezzi The Use of Blockchain for Legislative Simplification Tracking (Oral communication) 16:18 Session 14 – Energy and IoT
Matteo Vaccargiu, Giacomo Ibba and Roberto Tonelli
Is it possible to create a decentralized free energy market? An automatic literature review approach
Alessia Pisu, Livio Pompianu, Salvatore Castello, Daniele Riboni and Salvatore Carta Personalized Smart Contracts for IoT Data Certification (Oral communication) Silvio Meneguzzo, Alessandro Mozzato, Alfredo Favenza, Valentina Gatteschi and Lucio Rocco Inglese
Distributed ledger technologies for electric vehicles charging and payment operations (Oral communication)
Daniele Orrù, Andrea Pinna and Roberto Tonelli
Low-Cost Tamper-Proof IoT Devices to Improve Data Origin Verification and
Giuseppe Spadavecchia, Marco Fiore, Daniela De Venuto and Marina Mongiello Using Blockchain and Smart Contracts as a Centralized Cloud Alternative for IoT (Oral communication)
Lodovica Marchesi, Maria Ilaria Lunesu and Roberto Tonelli
Integrating Blockchain, IoT and Robotics into a Reliable Production System (Oral communication) 17:25 Closing 17:40 Coffee break and greetings