Final Program
Registration
Welcoming Remarks
Keynote Speech: The Economics of Transparency and Centralization in Blockchains: From Mining Cartels to Market Crises
Carlo Campajola
Coffee Break
Session 1 - Blockchain and AI
11.00 - 11.30: Towards Automating Blockchain Consensus Verification with IsabeLLM - Elliot Jones; William Knottenbelt
11.30 - 12.00: Optimizing Smart Contract Testing via Neural-MCTS Test Prioritization-Morena Barboni; Filippo Lampa; Andrea Morichetta; Andrea Polini
12.00 - 12.30: Advanced Large Language Models Prompting Strategies for Reentrancy Classification and Explanation in Smart Contracts- Matteo Rizzo; Alvise Spano'; Lorenzo Benetollo; Dalila Ressi; Andrea Gasparetto; Sabina Rossi
Lunch Break
Session 2 - Protocol and Security
14.00 - 14.30: Fast Blocks and Furious Adjustments: Satoshi Drift-Demetris Kyriacou; Matthieu Babak; Iain Stewart; William Knottenbelt
14.30 - 15.00: VeriCert: SSL/TLS Certificate Verification based on Self-Sovereign Identity and Blockchain-Andrea Giuliani; Andrea De Salve; Paolo Mori; Laura Ricci
15.00 - 15.30: EIDook: Empowering Labor Unions with Decentralized Digital Identities-Thabata Ganga; Breno Nakamura; Arlindo Conceicao
15.30 - 16.00: Interlock Protocol: Interactive Cross-L2 Atomic Transactions via Stateless Shared Sequencer -Uri Lee; William Knottenbelt
Coffee Break
Session 3 - Short Presentations
16.30 - 16.50: Can Blockchains Rebuild from a Financial Collapse? A Case Study of Lebanon-Harry Halpin
16.50 - 17.10: Mathematics of Trust in the Blockchain Economy: Smart Social Contracts and Oracle-Driven Verification for Public Sector Accountability- Cristina Carata; Kimberley Cheung; William Knottenbelt; Adam Hamilton-Smith
17.10 - 17.30: Scalable Non-Fungible Tokens on Bitcoin- Jordi Herrera-Joancomarti; Cristina Pérez-Solà ; Toni Mateos
Break
Session 4 - Oral Presentations
17.40 - 18.00: An Algorand-based Approach for Flexible Execution of BPMN Choreographies- Nawaz Abdullah Malla; Alessandro Marcelletti; Andrea Morichetta; Francesco Tiezzi
18.00- 18.20: Digital Wallets in the Metaverse: A Blockchain-Based Approach to Enhance Payments- Mouloud Afoulous; Catarina Ferreira da Silva
Social Dinner
Keynote Speech: Beyond the chain: synergies between on-chain and off-chain worlds
Andrea Vitaletti
Coffee Break
Session 5 - Applications
11.00 - 11.30: PolyIDns: a Blockchain-based Solution for Decentralized Domain Management- Alessandro Marcelletti, Leonardo Migliorelli and Andrea Morichetta
11.30 - 12.00: Privacy-Preserving Auditable Hygiene Compliance Using Hyperledger Fabric in Hospital Environments-Pierluigi Gallo, Muhammad Rehan, Francesco Saverio Cannizzaro, Gabriele Catalano and Maria Timoshina
Poster Session
Lunch Break
Session 6 - Smart Contract Verification
14.00 - 14.30: An Ecosystem for Supporting Decentralised Applications Analysis- Flavio Corradini, Lorenzo Luzi, Fausto Marcantoni, Alessandro Marcelletti, Andrea Morichetta and Barbara Re
14.30 - 15.00: Unmasking Fraud in DeFi: Behavioral and Statistical Insights into Scam Token Detection-Nabil El Ioini, Claus Pahl, Hamid Reza Barzegar and Mahdiyeh Barzegar
15.00 - 15.30: An Overview of Termination in the Ethereum Blockchain - Luca Olivieri, Luca Pasetto, Luca Negrini and Pietro Ferrara
