Accepted Papers
On the Use of Deep Neural Networks for Security Vulnerabilities Detection in Smart Contracts
Martina Rossini (University of Bologna, Italy); Mirko Zichichi (Universidad Politécnica de Madrid, Spain); Stefano Ferretti (University of Urbino, Italy)
MichelsonLiSA: A Static Analyzer for Tezos
Luca Olivieri (University of Verona, Italy); Thomas Jensen (University of Rennes 1, France); Luca Negrini (University of Venice, Italy); Fausto Spoto (University of Verona, Italy)
ChoEn: A Smart Contract Based Choreography Enforcer
Francesco Spegni (Università Politecnica delle Marche, Italy); Lorenzo Fratini and Massimiliano Pirani (Università Politecnica Delle Marche, Italy); Luca Spalazzi (Università Politecnica delle Marche, Italy)
An Empirical Study of Impact of Solidity Compiler Updates on Vulnerabilities
Chihiro Kado and Naoto Yanai (Osaka University, Japan); Jason Paul Cruz (Nara Institute of Science and Technology, Japan); Shingo Okamura (National Institute of Technology, Nara College, Japan)
A decentralized approach to award game achievements
Francesco Bruschi, Donatella Sciuto and Tommaso Paulon (Politecnico di Milano, Italy); Andrea Marchesi (Italy)
Soulbound Token for Covid-19 Vaccination certification
Maria Ilaria Lunesu (University of Cagliari, Italy); Roberto Tonelli (Università degli studi di Cagliari, Italy); Andrea Pinna and Simone Sansoni (University of Cagliari, Italy)
Optimizing Data Distribution to Balance Scalability-Redundancy Trade-off in Blockchains
Azam Khan and Ashiq Anjum (University of Leicester, United Kingdom (Great Britain))
Acceptance rate 50%.
Workshop program
This year edition of the workshop will offer no online participation, as per PerCom guidelines. The one day workshop will take place the 13th of March and will be divided in four sessions. Each paper presentation will include a 25 minutes presentation and discussion.
First session:
9:00-10:30
Workshop opening and Keynote
Speaker: Fabio Severino, CTO of Traent Srl (traent.com)
Title: Blockchain beyond cryptocurrencies: enabling real-time and data-intensive applications on blockchain
Coffee break:
10:30-11:00
Second session:
11:00 - 13:00
Smart contracts Analysis
On the Use of Deep Neural Networks for Security Vulnerabilities Detection in Smart Contracts
Martina Rossini (University of Bologna, Italy); Mirko Zichichi (Universidad Politécnica de Madrid, Spain); Stefano Ferretti (University of Urbino, Italy)
MichelsonLiSA: A Static Analyzer for Tezos
Luca Olivieri (University of Verona, Italy); Thomas Jensen (University of Rennes 1, France); Luca Negrini (University of Venice, Italy); Fausto Spoto (University of Verona, Italy)
ChoEn: A Smart Contract Based Choreography Enforcer
Francesco Spegni (Università Politecnica delle Marche, Italy); Lorenzo Fratini and Massimiliano Pirani (Università Politecnica Delle Marche, Italy); Luca Spalazzi (Università Politecnica delle Marche, Italy)
An Empirical Study of Impact of Solidity Compiler Updates on Vulnerabilities
Chihiro Kado and Naoto Yanai (Osaka University, Japan); Jason Paul Cruz (Nara Institute of Science and Technology, Japan); Shingo Okamura (National Institute of Technology, Nara College, Japan)
Lunch break:
13:00-14:00
Third session:
14.00 - 15.30
Tutorial
Speaker: Ricardo Daniel Lopes Almeida, University of Pisa/University of Camerino, Italy
Title: The impact of Distributed ledger Technology on the evolution of electronic voting systems
Coffee break:
15:30-16:30
Fourth session:
16:30-18:00
DLT theory and applications
Optimizing Data Distribution to Balance Scalability-Redundancy Trade-off in Blockchains
Azam Khan and Ashiq Anjum (University of Leicester, United Kingdom (Great Britain))
Soulbound Token for Covid-19 Vaccination certification
Maria Ilaria Lunesu (University of Cagliari, Italy); Roberto Tonelli (Università degli studi di Cagliari, Italy); Andrea Pinna and Simone Sansoni (University of Cagliari, Italy)
A decentralized approach to award game achievements
Francesco Bruschi, Donatella Sciuto and Tommaso Paulon (Politecnico di Milano, Italy); Andrea Marchesi (Italy)