<!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>
      <abstract>
        <p>This book contains the contributions which were selected for publication at the second edition of the Distributed Ledger Technology Workshop (DLT 2019), which has been held in conjunction with ITASEC19 in Pisa, on February 12, 2019. This event follows the First edition of the workshop held in Perugia in 2018, and represents the annual meeting of the Italian DLT group. Distributed Ledger Technology is having an ever growing popularity. Nowadays, the most popular application of DLT concerns cryptocurrencies (Bitcoin, Litecoin, Monero, etc.), but the DLT features allow them to be applied in many scenarios, both in research and business contexts. In particular, the DLT technology is suitable to be adopted in a large number of application elds, e.g. Internet of Things, cyber-physical Systems, edge computing, and supply-chain management. 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 di erent elds related to DLTs, and thus advance the national and international state-of-the-art. Research, applications, case studies, and experiences concerning DLT are all encouraged. The workshop solicited two kind of contributions: research papers and oral communications. Both contributions entailed an oral presentation at the workshop, but only the former are reported in this book. In particular, the workshop accepted 6 research papers and 9 oral contributions. We would like to express our thanks to the authors who submitted their papers to our workshop, and to the members of the Technical Program Committee for their valuable work in evaluating the submitted papers.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Workshop Chairs</title>
      <sec id="sec-1-1">
        <title>Paolo Mori</title>
      </sec>
      <sec id="sec-1-2">
        <title>Massimo Bartoletti</title>
      </sec>
      <sec id="sec-1-3">
        <title>Stefano Bistarelli</title>
      </sec>
    </sec>
    <sec id="sec-2">
      <title>Steering Committee</title>
      <sec id="sec-2-1">
        <title>Leonardo Aniello</title>
      </sec>
      <sec id="sec-2-2">
        <title>Massimo Bartoletti</title>
      </sec>
      <sec id="sec-2-3">
        <title>Stefano Bistarelli</title>
      </sec>
      <sec id="sec-2-4">
        <title>Maurizio Pizzonia</title>
      </sec>
      <sec id="sec-2-5">
        <title>Andrea Vitaletti</title>
      </sec>
      <sec id="sec-2-6">
        <title>Consiglio Nazionale delle Ricerche, Italy</title>
      </sec>
      <sec id="sec-2-7">
        <title>Universita degli Studi di Cagliari, Italy</title>
      </sec>
      <sec id="sec-2-8">
        <title>Universita degli Studi Perugia, Italy</title>
      </sec>
      <sec id="sec-2-9">
        <title>University of Southampton, UK</title>
      </sec>
      <sec id="sec-2-10">
        <title>Universita degli Studi di Cagliari, Italy</title>
      </sec>
      <sec id="sec-2-11">
        <title>Universita degli Studi Perugia, Italy</title>
      </sec>
      <sec id="sec-2-12">
        <title>Universita degli Studi Roma Tre, Italy</title>
      </sec>
      <sec id="sec-2-13">
        <title>Universita degli Studi di Roma \La Sapienza",</title>
      </sec>
      <sec id="sec-2-14">
        <title>Italy</title>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>Technical Program</title>
    </sec>
    <sec id="sec-4">
      <title>Committee</title>
      <sec id="sec-4-1">
        <title>Leonardo Aniello</title>
      </sec>
      <sec id="sec-4-2">
        <title>Andrea Bracciali</title>
      </sec>
      <sec id="sec-4-3">
        <title>Francesco Buccafurri</title>
      </sec>
      <sec id="sec-4-4">
        <title>Stelvio Cimato</title>
      </sec>
      <sec id="sec-4-5">
        <title>Gabriele D'Angelo</title>
      </sec>
      <sec id="sec-4-6">
        <title>Andrea De Salve</title>
      </sec>
      <sec id="sec-4-7">
        <title>Damiano Di Francesco Maesa</title>
      </sec>
      <sec id="sec-4-8">
        <title>Stefano Ferretti</title>
      </sec>
      <sec id="sec-4-9">
        <title>Letterio Galletta</title>
      </sec>
      <sec id="sec-4-10">
        <title>Alberto Leporati</title>
      </sec>
      <sec id="sec-4-11">
        <title>Michele Marchesi</title>
      </sec>
      <sec id="sec-4-12">
        <title>Remo Pareschi</title>
      </sec>
      <sec id="sec-4-13">
        <title>Maurizio Pizzonia</title>
      </sec>
      <sec id="sec-4-14">
        <title>Laura Ricci</title>
      </sec>
      <sec id="sec-4-15">
        <title>Giovanni Sartor</title>
      </sec>
      <sec id="sec-4-16">
        <title>Francesco Tiezzi</title>
      </sec>
      <sec id="sec-4-17">
        <title>Andrea Vitaletti</title>
      </sec>
      <sec id="sec-4-18">
        <title>Roberto Zunino</title>
        <p>Organizing Committee</p>
      </sec>
      <sec id="sec-4-19">
        <title>Ivan Mercanti</title>
      </sec>
      <sec id="sec-4-20">
        <title>Andrea De Salve</title>
      </sec>
      <sec id="sec-4-21">
        <title>IMT Scuola Alti Studi, Lucca</title>
      </sec>
      <sec id="sec-4-22">
        <title>Consiglio Nazionale delle Ricerche, Italy 3</title>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>Workshop Program</title>
      <p>You can nd below the DLT 2019 technical sessions. We point out the 6
papers contained in these proceeding in bold font. All the remaining oral
communications are not contained therein, and they have been presented at the
workshop.</p>
      <sec id="sec-5-1">
        <title>Technical Session 1</title>
        <p>Massimo Bartoletti, Roberto Zunino</p>
        <sec id="sec-5-1-1">
          <title>Verifying liquidity of Bitcoincontracts</title>
          <p>Chantal Bomprezzi</p>
        </sec>
        <sec id="sec-5-1-2">
          <title>Smart contracts on blockchain: some false myths</title>
          <p>Lodovica Marchesi, Michele Marchesi, Roberto Tonelli
dApp Implementation using an Agile, yet Systematic Approach
Francesco Buccafurri, Gianluca Lax, Lorenzo Musarella,
Antonia Russo
Ethereum Transactions and Smart Contracts among Secure
Identities
Ettore Battaiola, Fabio Massacci, Chan Nam Ngo, Pierantonia
Sterlini
Blockchain-based Invoice Factoring: from business requirements
to commitments
Alessio Meneghetti, Armanda Ottaviano Quintavalle,
Massimiliano Sala, Alessandro Tomasi
Two-tier blockchain timestamped notarization with incremental
security</p>
        </sec>
      </sec>
      <sec id="sec-5-2">
        <title>Technical Session 2</title>
        <p>Matteo Bernardini, Diego Pennino, Maurizio Pizzonia
Blockchains Meet Distributed Hash Tables: Decoupling
Validation from State Storage (Extended Abstract)
Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi</p>
        <sec id="sec-5-2-1">
          <title>Choreographies Enactment Via Smart Contracts</title>
          <p>Stefano Bistarelli, Gianmarco Mazzante, Matteo Micheletti, Leonardo Mostarda,
Francesco Tiezzi</p>
        </sec>
        <sec id="sec-5-2-2">
          <title>Analysis of Ethereum Smart Contracts and Opcodes</title>
          <p>Paolo Mori, Damiano Di Francesco Maesa, Laura Ricci
Exploiting Blockchain Technology to Design an Attribute Based Access</p>
        </sec>
        <sec id="sec-5-2-3">
          <title>Control System 4</title>
          <p>Luisa Siniscalchi, Ivan Viscont i</p>
        </sec>
        <sec id="sec-5-2-4">
          <title>On Deleting Data from a Blockchain</title>
          <p>Alessandra Scafuro, Luisa Siniscalchi, Ivan Visconti</p>
          <p>Publicly Veri able Argument Systems Through Generic Blockchains</p>
        </sec>
      </sec>
      <sec id="sec-5-3">
        <title>Technical Session 3</title>
        <p>Laura Ricci, Andrea Marino, Damiano Di Francesco Maesa</p>
        <sec id="sec-5-3-1">
          <title>Analysing the structure of the Bitcoin users graph</title>
          <p>Claudio Ferretti, Alberto Leporati, Luca Mariot, Luca Nizzar do
Transferable Anonymous Payments via TumbleBit in
Permissioned Blockchains
Roberto Carlini, Federico Carlini, Stefano Dalla Palma, Remo
Pareschi</p>
          <p>Genesy: a Blockchain-based Platform for DNA Sequencing</p>
        </sec>
      </sec>
      <sec id="sec-5-4">
        <title>External session</title>
        <sec id="sec-5-4-1">
          <title>Contracts and Smart Contracts</title>
          <p>Giovanni Sartor</p>
        </sec>
      </sec>
      <sec id="sec-5-5">
        <title>Panel</title>
      </sec>
      <sec id="sec-5-6">
        <title>Tutorial</title>
        <p>Adozione della blockchain in azienda: aspetti tecnici e legali
Pierangelo Soldavini (moderatore), Massimo Chiriatti, Notaio Michele
Manente, Nicola Santoni</p>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list />
  </back>
</article>