DLT 2020
Distributed Ledger Technology

Table of Contents

• Preface
  
  

Invited Talk

• Security and Privacy for Payment Channel Networks
  Matteo Maffei

Technical Session 1

• A Note on an ECDLP-based PoW Model
  Alessio Meneghetti, Massimiliano Sala, Daniele Taufer
• A formal analysis of blockchain consensus
  Cosimo Laneve, Adele Veschetti
• Toward a Scalable Public Blockchain Architecture
  Gianmaria Del Monte, Diego Pennino, Maurizio Pizzonia

Technical Session 2

• Blockchain-based Registries of User Choices and their Challenges
  Andrea Vitaletti, Maurizio Pizzonia, Albenzio Cirillo, Marco Zecchini, Diego Pennino
• Towards the Formalization of the XRP Ledger Consensus Protocol
  Lara Mauri, Stelvio Cimato, Ernesto Damiani
• The Open Legal Challenges of Pursuing AML/CFT Accountability within Privacy-Enhanced IoM Ecosystems
  Nadia Pocher
• A Simulation-based and Data-driven Framework for Enabling the Analysis and Design of Business Processes based on Blockchain and Smart Contracts Solutions
  Luciano Argento, Sabrina Graziano, Alfredo Garro, Antonella Guzzo, Francesco Pasqua, Domenico Saccà
• A Blockchain Based Recommendation System
  Paolo Mori, Laura Ricci, Andrea De Salve, Andrea Lisi
• Securing the Art Market with Distributed Public Ledgers
  Marino Miculan, Daniel Tosone
• Ensuring Personal Data Anonymity in Data Marketplaces through Sensing-as-a-Service and Distributed Ledger
  Mirko Zichichi, Michele Contu, Stefano Ferretti, Víctor Rodríguez-Doncel
• Acknowledging Value of Personal Information: a Privacy Aware Data Market for Health and Social Research
  Francesco Bruschi, Vincenzo Rana, Alessio Pagani, Donatella Sciuto
• VeriOSS: Using the Blockchain to Foster Bug Bounty Programs
  Andrea Canidio, Gabriele Costa, Letterio Galletta
• Security Analysis of a Blockchain-based Protocol for the Certification of Academic Credentials
  Marco Baldi, Franco Chiaraluce, Migelan Kodra, Luca Spalazzi

Tutorial

• Data Privacy in Blockchains: Theory and Practice
  Ivan Visconti

Technical Session 3

• Open Issues in Programming Bitcoin Contracts
  Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino
• Encryption and Notarization of Documents with Blockchain and Secret Sharing
  Vincenzo Orabona, Donato Cappetta, Chiara Spadafora
• Ether Analysis of Solidity Functions
  Cosimo Laneve, Claudio Sacerdoti Coen
• The Rush Dilemma: Attacking and Repairing Smart Contracts on Forking Blockchains
  Vincenzo Botta, Daniele Friolo, Daniele Venturi, Ivan Visconti
• Software Engineering for DApp Smart Contracts Managing Workers Contracts
  Giorgia Lallai, Andrea Pinna, Michele Marchesi, Roberto Tonelli
• Crypto-Trading: Rechargeable Token-based Smart Energy Market Enabled by Blockchain and IoT Technology
  Roberto Tonelli, Andrea Pinna, Michele Marchesi, Francesco Pisu
• Smart-contract Based Access Control on Distributed Information in a Smart-City Scenario
  Francesco Buccafurri, Cecilia Labrini, Lorenzo Musarella