<\/p>\n
<\/p>\n
<\/td>\n | 14:10 – 14:30<\/td>\n | Henrique Rocha and John Businge<\/p>\nBlockchain-Oriented Software Variant Forks: A Preliminary Study.<\/em><\/h4>\n<\/td>\n<\/tr>\n<\/td>\n | 14:30 – 14:50<\/td>\n | Giuseppe Antonio Pierro and Andy Amoordon<\/p>\n | A Tool to check the Ownership of Solana\u2019s Smart Contracts<\/em><\/h4>\n<\/td>\n<\/tr>\n<\/td>\n | 14:50 – 15:10<\/td>\n | Jihyeon Kim, Dahyeon Jeong, Jisoo Kim and Eun-Sun Cho<\/p>\n | Stone: A Privacy Policy Enforcement System for Smart Contracts<\/em><\/h4>\n<\/td>\n<\/tr>\n<\/td>\n | 15: 10 – 15:30<\/td>\n | Andrea Pinna and Roberto Tonelli<\/p>\n | On the use of Petri nets in Smart Contracts modeling, generation, and verification<\/em>.<\/h4>\n<\/td>\n<\/tr>\n<\/td>\n | \n | 15:30 – 15:40Coffee break<\/td>\n | 15: 40 – 16:00<\/td>\n | Giacomo Francesco Ibba and Marco Ortu<\/p>\n | Analysis Of The Relationship Between Smart Contracts\u2019 Categories and Vulnerabilities<\/em><\/h4>\n<\/td>\n<\/tr>\n<\/td>\n | 16:00 – 16:20<\/td>\n | Giuseppe Antonio Pierro and Roberto Tonelli<\/p>\n | Can Solana be the Solution to the Blockchain Scalability Problem?<\/em><\/h4>\n<\/td>\n<\/tr>\n<\/td>\n | 16:20 – 16:40<\/td>\n | Konstantinos Tsiounis and Kostas Kontogiannis<\/p>\n | Goal and Policy Based Code Generation and Deployment of Smart Contracts<\/em><\/h4>\n<\/td>\n<\/tr>\n<\/td>\n | 16:40- 17:00<\/td>\n | Maria Ilaria Lunesu, Alessandro Floris, Raimondo Cossu and Marco Uras:<\/p>\n | A Blockchain-based Data Notarization System for Smart Mobility Services<\/em><\/h4>\n<\/td>\n<\/tr>\n<\/td>\n | \n | 17:00 – 17:10 Concluding remarks<\/span><\/strong><\/h3>\n<\/td>\nConcluding remarks<\/span><\/strong><\/h3>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n |