<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Paolo Mori Ivan Visconti Stefano Bistarelli</string-name>
        </contrib>
      </contrib-group>
      <pub-date>
        <year>2023</year>
      </pub-date>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Program Co-Chairs</title>
      <p>● Paolo Mori,</p>
      <p>Istituto di Informatica e Telematica del CNR
● Ivan Visconti,</p>
      <p>Università degli Studi di di Salerno</p>
    </sec>
    <sec id="sec-2">
      <title>Workshop Co-Chairs</title>
      <sec id="sec-2-1">
        <title>Cosimo Laneve,</title>
        <p>Università degli Studi di Bologna
Giovanni Sartor,</p>
        <p>Università degli Studi di Bologna
●
●
●
●</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>Sponsorships chair</title>
      <p>●</p>
      <sec id="sec-3-1">
        <title>Monica Palmirani,</title>
        <p>Università degli Studi di Bologna</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>Organizing Committee</title>
      <sec id="sec-4-1">
        <title>Alessandro Parenti,</title>
        <p>Università degli Studi di Bologna
Adele Veschetti,</p>
        <p>TU Darmstadt</p>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>Web chair</title>
      <p>● Ivan Mercanti,</p>
      <p>Università degli Studi di Perugia</p>
    </sec>
    <sec id="sec-6">
      <title>Steering Committee</title>
      <p>●
●</p>
      <sec id="sec-6-1">
        <title>Leonardo Aniello,</title>
        <p>University of Southampton
Massimo Bartoletti,</p>
        <p>Università degli Studi di Cagliari
● Leonardo Aniello,</p>
        <p>University of Southampton
● Massimo Bartoletti,</p>
        <p>Università degli Studi di Cagliari
● Marco Benedetti,</p>
        <p>Banca d'Italia
● Stefano Bistarelli,</p>
        <p>Università degli Studi Perugia
● Andrea Bracciali,</p>
        <p>University of Stirling
● Francesco Bruschi,</p>
        <p>Politecnico di Milano
● Francesco Buccafurri,</p>
        <p>Mediterranea University of Reggio Calabria
● Matteo Campanelli,</p>
        <p>Protocol Labs
● Marco Baldi,</p>
        <p>Università Politecnica delle Marche
● Michele Ciampi,</p>
        <p>University of Edinburgh
● Mauro Conti,</p>
        <p>Università degli Studi di Padova
● Vanesa Daza,</p>
        <p>UPF Barcelona
● Angelo De Caro,</p>
        <p>IBM Zurich
● Stefano Ferretti,</p>
        <p>Università degli Studi di Urbino
● Danilo Francati,</p>
        <p>Aarhus University / Concordium
● Pierluigi Gallo,</p>
        <p>Università degli Studi di di Palermo
● Juan Garay,</p>
        <p>Texas A&amp;M University
● Cosimo Laneve,</p>
        <p>Università degli Studi di Bologna
● Alberto Leporati,</p>
        <p>Università degli Studi di Milan-Bicocca
● Bernardo Magri,</p>
        <p>Manchester University
● Giorgia Azzurra Marson,</p>
        <p>NEC Labs
● Marino Miculan,</p>
        <p>Università degli Studi di Udine
● Leonardo Mostarda,</p>
        <p>Università degli Studi di Camerino
● Remo Pareschi,</p>
        <p>Università degli Studi del Molise
● Maurizio Pizzonia,</p>
        <p>Università degli Studi Roma Tre
● Laura Ricci,</p>
        <p>Università degli studi di Pisa
● Domenico Sacca,</p>
        <p>Università degli Studi della Calabria
● Antonio Sanso,</p>
        <p>Ethereum Foundation
● Alessandra Scafuro,</p>
        <p>NCSU
● Claudio Schifanella,</p>
        <p>Università degli Studi di Torino
● Luisa Siniscalchi,</p>
        <p>Technical University of Denmark
● Francesco Tiezzi,</p>
        <p>Università degli Studi di Firenze
● Sara Tucci-Piergiovanni,</p>
        <p>Paris-Saclay University
● Andrea Visconti,</p>
        <p>Università degli Studi di Milano
● Andrea Vitaletti,</p>
        <p>Università degli Studi di Roma "La Sapienza"
●
●</p>
        <p>Vassilis Zikas,
Purdue University
Roberto Zunino,</p>
        <p>Università degli Studi di Trento
9:00 - 9:10</p>
      </sec>
    </sec>
    <sec id="sec-7">
      <title>Opening session</title>
      <p>9:10 - 11:00</p>
    </sec>
    <sec id="sec-8">
      <title>Session 1</title>
      <p>DAY 1: May 25th
Exploiting Ethereum after "The Merge": The Interplay
between PoS and MEV Strategies (oral communication)
Davide Mancino, Alberto Leporati, Marco Viviani and Giovanni
Denaro
Towards a quantum-safe transaction signature in
Ethereum (oral communication) - Stefano Bistarelli, Marco
Fiore, Ivan Mercanti and Marina Mongiello
Analysis of the Confirmation Time in Proof-of-Work
Blockchains (oral communication) - Ivan Malakhov, Andrea
Marin, Daria Smuseva and Sabina Rossi
Certified Byzantine Consensus with Confidential Quorum
for a Bitcoin-derived Permissioned DLT - Marco Benedetti,
Francesco De Sclavis, Marco Favorito, Giuseppe Galano,
Sara Giammusso, Antonio Muci and Matteo Nardelli
Smart contracts in a bare-bone UTXO model (oral
communication) - Massimo Bartoletti, Riccardo Marchesin
and Roberto Zunino
Studying the Compounding Effect: The Role of
Proof-of-Stake Parameters on Wealth Distribution - Alberto
Leporati
A theoretical basis for Blockchain Extractable Value (oral
communication) - Massimo Bartoletti and Roberto Zunino.
11:20-13:10</p>
    </sec>
    <sec id="sec-9">
      <title>Session 2</title>
      <p>A dataset trading system based on DLT and IPFS (oral
communication) - Marco Di Francesco, Lodovica Marchesi,
Michele Marchesi and Raffaele Porcu
Not Enough IoT After All: Visiting Transactional
Characteristics of IoT Blockchains - Abhimanyu Rawat,
Vanesa Daza and Matteo Signorini
On the Synchronization Power of Token Smart Contracts
(oral communication) - Giorgia Azzurra Marson
Orchestration of Blockchain-based Digital Twins - Marco
Benedetti, Marco Favorito and Matteo Nardelli
PUF-Based Identification Tags and Blockchain for Supply
Chain Management (oral communication) - Carmelo
Felicetti, Antonella Guzzo, Antonino Rullo, Domenico Saccà
and Francesco Pasqua
A Decentralized Data Sharing Framework based on a
Key-Redistribution method - Fadi Barbara, Mirko Zichichi,
Stefano Ferretti and Claudio Schifanella
From Bitcoin to Stablecoin. The monetary development of
crypto assets (oral communication) - Emilia Richiello
14:30-16:20</p>
    </sec>
    <sec id="sec-10">
      <title>Session 3</title>
      <p>Equilibria in DeFi from State Context Inspection (oral
communication) - James Hsin-Yu Chiang, Conor McMenamin
and Margherita Renieri
Incentivizing Customer Reviews in the Grocery Industry:
The Re-Taled Project’s Approach - Tania Bruno, Ettore
Etenzi, Luca Gualandi, Eraldo Katra, Rosario Pugliese, Alessio
Taranto and Francesco Tiezzi
Scalability in E-voting Systems using the Solana
Blockchain (oral communication) - Mohammad Hajian
Berenjestanaki, Hamid Reza Barzegar, Nabil El Ioini and Claus
Pahl
Enforcing Confidentiality in Tornado Cash-based E-voting
Systems - Stefano Bistarelli, Ivan Mercanti and Francesco
Santini
Blockchain in Public Governance: New Possibilities and
Challenges for Public Data Management and e-Voting (oral
communication) - Ali Mert Gürkan
The Referendum Problem in Anonymous Voting for
Decentralized Autonomous Organizations - Vincenzo
Iovino, Artem Grigor and Giuseppe Visconti
A Traffic-Analysis Proof Solution to Allow K-Anonymous
Payments in Pseudonymous Blockchains (oral
communication) - Francesco Buccafurri, Vincenzo De Angelis
and Sara Lazzaro
16:40-18:20</p>
    </sec>
    <sec id="sec-11">
      <title>Session 4</title>
      <p>Clearing Fuzzy Signatures: a Proof of Work Blockchain
Protocol for Biometric Identification (oral communication)
- Paolo Santini, Giulia Rafaiani, Massimo Battaglioni, Marco
Baldi and Franco Chiaraluce
An AMM minimizing user-level extractable value and
loss-versus-rebalancing - Conor McMenamin and Vanesa
Daza
From Paper to Blockchain: A Proof of Concept for Storing
Aviation Maintenance Documents (oral communication)
Nader Mohamed and Francesco Bruschi
Modeling Carne PRI supply chain with the *-Chain
Platform - Stefano Bistarelli, Francesco Faloci, Paolo Mori,
Carlo Taticchi and Marino Miculan
Sharpening Ponzi Schemes Detection on Ethereum with
Machine Learning (oral communication) - Letterio Galletta
and Fabio Pinelli
ChorSSI: A Model-Driven Framework for Self-Sovereign
Identity on Blockchain (oral communication) - Tommaso
Cippitelli, Alessandro Marcelletti and Andrea Morichetta
Towards a Privacy-Preserving Dispute Resolution
Protocol on Ethereum (oral communication) - Andrea
Gangemi
18:30-19:30</p>
    </sec>
    <sec id="sec-12">
      <title>DLT group meeting</title>
      <p>9:00-11:00</p>
    </sec>
    <sec id="sec-13">
      <title>Session 5</title>
      <p>DAY 2: May 26th
Oral communication: Towards mutable NFTs:
Non-Fungible Mutable Tokens (oral communication)
Andrea Lisi, Damiano Di Francesco Maesa, Paolo Mori,
Laura Ricci and Simone Schiavone
Blockchain-based Information Ecosystems - Francesco
Salzano, Remo Pareschi, Lodovica Marchesi and Roberto
Tonelli
An investigation tool for BESU permissioned blockchain
performance. (oral communication). - Leonardo Mostarda,
Andrea Pinna, Davide Sestili and Roberto Tonelli
A brief analysis regarding NFTs and digital artworks
Thayssa Bohadana Martins
Participatory design of token economies for local
communities (oral communication) - Sowelu Avanzo,
Guido Boella, Claudio Schifanella and Cristina Viano
Protecting digital identity in the Metaverse: the case of
access to a cinema in Decentraland - Mirko Zichichi,
Chantal Bomprezzi, Giovanni Sorrentino and Monica
Palmirani
Using blockchain for certification of media creations: the
case of "TRUTHSTER" (oral communication) - Federico
Costantini, Francesco Crisci, Silvia Venier, Stefano Bistarelli
and Ivan Mercanti
A Platform for Analyzing Payment Channel Networks in
Supporting Real-world Payment Patterns (oral
communication) - Marco Benedetti, Giuseppe Galano, Sara
Giammusso and Matteo Nardelli
11:20-13:00</p>
    </sec>
    <sec id="sec-14">
      <title>Session 6</title>
      <p>A Decentralized Biometric Authentication Protocol based
on Blockchain (oral communication) - Nibras Abo Alzahab,
Giulia Rafaiani, Marco Baldi, Massimo Battaglioni and Franco
Chiaraluce
A Tale on Decentralizing an App: the Case of Copyright
Management - Andrea Vitaletti and Marco Zecchini
Scrify: an online tool to validate Bitcoin script (oral
communication) - Stefano Bistarelli, Andrea Bracciali and
Ivan Mercanti</p>
    </sec>
    <sec id="sec-15">
      <title>Toward</title>
    </sec>
    <sec id="sec-16">
      <title>Blockchain</title>
      <p>Pizzonia</p>
    </sec>
    <sec id="sec-17">
      <title>Scalable Docker-Based Emulations of</title>
      <p>Networks - Diego Pennino and Maurizio
Account Abstraction: Improving User Experience in
Blockchain Systems (oral communication) - Luca
Ambrosini, Giuliano Gremlich, Tommaso Agnola, Lorenzo
Ronzani, Roberto Guidi and Tiziano Leidi
Optimistic and Validity Rollups: Analysis and
Comparison between Optimism and StarkNet - Luca
Donno
A Word on Policy-based Credential Disclosure in SSI
(oral communication) - Stefano Bistarelli, Chiara Luchini
and Francesco Santini
14:30-16:25</p>
    </sec>
    <sec id="sec-18">
      <title>Session 7</title>
      <p>Analysis of the Impact of European Policy on Distributed
Ledger Technologies and Crypto-assets - Hasret Ozan
Sevim
Introduction to Consensus in Weakly Byzantine</p>
    </sec>
    <sec id="sec-19">
      <title>Asynchronous Environments - Aleksander Kampa</title>
      <p>Impact of post-quantum signatures on blockchain and
DLT systems - Stephen Holmes
A blockchain-based framework for GDPR-compliant
personal data processing (oral communication) - Chiara
Braghin, Stelvio Cimato and Marco De Simone
Ensuring Correctness of Smart Contracts with
Constrained Horn Clauses (oral communication) - Fabio
Fioravanti and Giulia Matricardi
Towards the Automated Verification of Smart Contracts
(oral communication) - Chiara Braghin, Elvinia Riccobene
and Simone Valentini
Security Verification of Ethereum Smart Contracts with
ML Taking a Free Ride from Static Analysis (oral
communication) - Dalila Ressi, Lorenzo Benetollo, Carla
Piazza, Michele Bugliesi, Silvia Crafa and Sabina Rossi</p>
    </sec>
  </body>
  <back>
    <ref-list />
  </back>
</article>