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
- February 28, 2021: talk proposals submission
- March 22, 2021: notification
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