DLT-FM: Workshop on Distributed Ledger Technologies and Formal Methods
Cagliari (Italy), September 11-12, 2023
Venue & accommodation
The workshop, which is planned as a physical, in-person event, will be hosted at the Department of Mathematics and Computer Science of the University of Cagliari (Italy).
The venue is in the city center, close to the historical area of Castello. The city center can be reached from the Cagliari airport in 15’ by taxi (it costs around 20 EUR), or by train.
In the center of Cagliari there are several affordable accomodation opportunities: check bed-and-breakfast.it and airbnb.it.
Talks
An open benchmark for evaluating verification tools for smart contracts
Massimo Bartoletti (University of Cagliari)
Analysis and verification of smart contracts with behavioural types
Emilio Tuosto and Maurizio Murgia (GSSI)
Challenges in UTXO-contracts and DeFi composability
Roberto Zunino and Riccardo Marchesin (University of Trento)
Contradictions in (smart) legal contracts
Cosimo Laneve (University of Bologna)
Challenges in MEV detection and Modelling crypto-markets
Alberto Leporati, Giovanni Denaro, Marco Viviani, and Davide Mancino (University of Milano Bicocca)
Security Verification of Ethereum Smart Contracts with ML Taking a Free Ride from Static Analysis
Lorenzo Benetollo, Michele Bugliesi, Sabina Rossi (Ca’ Foscari Venezia), Silvia Crafa (University of Padova), and Dalila Ressi (University of Udine)
Programming abstractions for DLTs
Silvia Crafa (University of Padova), Lorenzo Benetollo, Michele Bugliesi, Sabina Rossi, and Alvise Spanò (Ca’ Foscari Venezia)
Improving liquidity in DeFi protocols
Letterio Galletta and Margherita Renieri (IMT Lucca)
State-based modeling and verification of smart contracts
Chiara Braghin, Elvinia Riccobene and Simone Valentini (University of Milano)
Design and implementation of static analyses via formal methods for blockchain
Agostino Cortesi, Luca Olivieri and Pietro Ferrara (Ca’ Foscari Venezia)
Programme
Go to the programme page.
The workshop will be followed by the 4th Scientific School on Blockchain & Distributed Ledger Technologies.
Past editions
Acknowledgements
The workshop is organised thanks to the economic and organising support of the University of Cagliari.