Trends in Distributed Ledger Technologies (Trends in DLT 2021)

April 7th, 2021

Virtual Conference

Overview

Trends in DLT is an event organised by the CINI working group on Blockchain. The event aims at bringing together researchers interested in Distributed Ledger Technologies, both from a foundational and from an applicative viewpoint, to exchange ideas and discuss recent trends and open problems. To this aim, the workshop will feature short talks on hop topics in DLT, followed by open sessions for discussion. The event fosters the participation of young researchers. In particular, we encourage submission of talk proposals by PhD Students and young researchers, alone or together colleagues or senior researchers. We expect to have talks given by young researchers, followed by stimulating discussions.
The topics of interest include:

  • Security & privacy of blockchains
  • Cryptography for blockchains (including consensus protocols)
  • Parallel and distributed systems for blockchains
  • Programming languages for blockchains and smart contracts
  • Formal methods for blockchains
  • Case studies and applications
  • Financial crime
  • Regulation and law enforcement
  • Blockchain and networking
  • Blockchain metrics
  • Legal aspects
  • Decentralized finance and tokenomics

Submission

We invite authors to submit a talk proposal (~2 pages), including the title of the talk, a short abstract, and name of the speaker who will give the talk. Submissions must be made electronically in PDF format via Easychair: https://easychair.org/my/conference?conf=trendsindlt2021

For this online edition of the workshop, we will not have formal proceedings; rather, we will invite researchers in the area to submit talk proposals, which will be evaluated according to “hotness” of the proposal, coherence with the topics of the workshop, and relevance for the community. Authors of accepted proposals will be invited to give an oral presentation at the workshop.

Programme

Technical Session

08:55 Opening
09:00 A Preliminary Survey on Vulnerabilities in Go Chaincodes - Md Imran Alam, Vincenzo Arceri, Pietro Ferrara and Agostino Cortesi
09:25 Automatic On-Chain Verification of Java Smart Contracts - Luca Olivieri, Fausto Spoto and Fabio Tagliaferro
09:50 Typestate-Oriented Programming of Smart Contracts - Silvia Crafa and Luca Padovani
10:15 Towards a Formal Theory of Decentralized Finance - Massimo Bartoletti, James Hsin-Yu Chiang and Alberto Lluch-Lafuente
10:40 Coffee break
11:00 Stochastic Modelling and Analysis of the Bitcoin Protocol - Stefano Bistarelli, Rocco De Nicola, Letterio Galletta, Cosimo Laneve, Ivan Mercanti and Adele Veschetti
11:25 Formal Analysis of Casper Ethereum - Letterio Galletta, Cosimo Laneve, Ivan Mercanti and Adele Veschetti
11:50 Proving Identity Portability for Interoperable Blockchain Applications - Diego Pennino, Maurizio Pizzonia, Andrea Vitaletti and Marco Zecchini
12:15 Compare Ethereum and EOS.IO DApps: A rating system benchmark - Andrea Lisi, Andrea De Salve, Paolo Mori and Laura Ricci
12:40 Closing
12:45 - 13:15 DLT group meeting

Organization

Chairs

  • Massimo Bartoletti,
    Università degli Studi di Cagliari
  • Roberto Zunino,
    Università degli Studi di Trento

Steering Commitee

  • Leonardo Aniello,
    University of Southampton
  • Massimo Bartoletti,
    Università degli Studi di Cagliari
  • Stefano Bistarelli,
    Università degli Studi Perugia
  • Maurizio Pizzonia,
    Università degli Studi Roma Tre
  • Andrea Vitaletti,
    Università degli Studi di Roma "La Sapienza"

Organizing Commitee

  • Massimo Bartoletti,
    Università degli Studi di Cagliari
  • Roberto Zunino,
    Università degli Studi di Trento

Program Committee

  • Marco Baldi,
    Università Politecnica delle Marche
  • Massimo Bartoletti,
    Università degli Studi di Cagliari
  • Stefano Bistarelli,
    Università degli Studi Perugia
  • Gianna Figà Talamanca,
    Università degli Studi Perugia
  • Paolo Mori,
    Istituto di Informatica e Telematica del CNR
  • Leonardo Mostarda,
    Università degli Studi di Camerino
  • Maurizio Pizzonia,
    Università degli Studi Roma Tre
  • Laura Ricci,
    Università di Pisa
  • Andrea Vitaletti,
    Università degli Studi di Roma "La Sapienza"
  • Roberto Zunino,
    Università degli Studi di Trento
-->