Final Program

8:45 am - 9:15 am

Registration

9:15 am - 9:30 am

Welcoming Remarks

9:30 am - 10:30 am

Keynote Speech: The Economics of Transparency and Centralization in Blockchains: From Mining Cartels to Market Crises

Carlo Campajola Carlo Campajola
10:30 am - 11:00 am

Coffee Break

11:00 am - 12:30 pm

Session 1 - Blockchain and AI (Session Chair: Luca Olivieri)

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

12:30 pm - 2:00 pm

Lunch Break

2:00 pm - 4:00 pm

Session 2 - Protocol and Security (Session Chair: Daria Smuseva)

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

4:00 pm - 4:30 pm

Coffee Break

4:30 pm - 5:30 pm

Session 3 - Short Presentations (Session Chair: Alessandro Marcelletti)

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

5:30 pm - 5:40 pm

Break

5:40 pm - 6:40 pm

Session 4 - Oral Presentations (Session Chair: Dalila Ressi)

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

7:30 pm - 10:00 pm

Social Dinner

The social dinner will be held at Ristorante Ribò, via Fondamenta Minotto, 159, 30135 Venice.

9:30 am - 10:30 am

Keynote Speech: Beyond the chain: synergies between on-chain and off-chain worlds

Andrea Vitaletti Andrea Vitaletti
10:30 am - 11:00 am

Coffee Break

11:00 am - 12:00 pm

Session 5 - Applications (Session Chair: William Knottenbelt)

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

12:00 pm - 12:30 pm

Poster Session

Synchronizing Digital and Physical Worlds: A Three-Party Escrow System for Supply Chain Management- Semia Guesmi.

Breaking the Orbit: Uncovering liveness attacks in Ethereum’s Orbit proposal- Ivan Malakhov and Daria Smuseva.

An Algorand-based Approach for Flexible Execution of BPMN Choreographies- Nawaz Abdullah Malla, Alessandro Marcelletti, Andrea Morichetta and Francesco Tiezzi.

12:00 pm - 2:00 pm

Lunch Break

2:00 pm - 3:30 pm

Session 6 - Smart Contract Verification (Session Chair: Alvise Spanò)

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

3:30 pm - 4:30 pm

Coffee Break

4:30 pm - 5:00 pm

Conclusion

5:00 pm - 8:00 pm

Bacaro Tour with local guide

Scroll to Top