Accepted Papers
Full Papers:
Finding Niche: Platform Cryptocurrency Financial Services and Operations as Support Services for SMEs - Transaction Ledger and Data Storage
Authors:
Tatja Kärkkäinen and Michele Fabi
Towards Automating Blockchain Consensus Verification with IsabeLLM
Authors:
Elliot Jones and William Knottenbelt
Fast Blocks and Furious Adjustments: Satoshi Drift
Authors:
Demetris Kyriacou, Matthieu Babak, Iain Stewart and William Knottenbelt
IDook: Empowering Labor Unions with Decentralized Digital Identities
Authors:
Thabata Ganga, Breno Nakamura and Arlindo Conceicao
PolyIDns: a Blockchain-based Solution for Decentralized Domain Management
Authors:
Alessandro Marcelletti, Leonardo Migliorelli and Andrea Morichetta
Optimizing Smart Contract Testing via Neural-MCTS Test Prioritization
Authors:
Morena Barboni, Filippo Lampa, Andrea Morichetta and Andrea Polini
An Ecosystem for Supporting Decentralised Applications Analysis
Authors:
Flavio Corradini, Lorenzo Luzi, Fausto Marcantoni, Alessandro Marcelletti, Andrea Morichetta and Barbara Re
Unmasking Fraud in DeFi: Behavioral and Statistical Insights into Scam Token Detection
Authors:
Nabil El Ioini, Claus Pahl, Hamid Reza Barzegar and Mahdiyeh Barzegar
Interlock Protocol: Interactive Cross-L2 Atomic Transactions via Stateless Shared Sequencer
Authors:
Uri Lee and William Knottenbelt
An Overview of Termination in the Ethereum Blockchain
Authors:
Luca Olivieri, Luca Pasetto, Luca Negrini and Pietro Ferrara
Advanced Large Language Models Prompting Strategies for Reentrancy Classification and Explanation in Smart Contracts
Authors:
Matteo Rizzo, Alvise Spano’, Lorenzo Benetollo, Dalila Ressi, Andrea Gasparetto and Sabina Rossi
Privacy-Preserving Auditable Hygiene Compliance Using Hyperledger Fabric in Hospital Environments
Authors:
Pierluigi Gallo, Muhammad Rehan, Francesco Saverio Cannizzaro, Gabriele Catalano and Maria Timoshina
VeriCert: SSL/TLS Certificate Verification based on Self-Sovereign Identity and Blockchain
Authors:
Andrea Giuliani, Andrea De Salve, Paolo Mori and Laura Ricci
Short Papers:
Scalable Non-Fungible Tokens on Bitcoin
Authors:
Jordi Herrera-Joancomarti, Cristina Pérez-Solà and Toni Mateos
Mathematics of Trust in the Blockchain Economy: Smart Social Contracts and Oracle-Driven Verification for Public Sector Accountability
Authors:
Cristina Carata, William Knottenbelt and Adam Hamilton-Smith
Can Blockchains Rebuild from a Financial Collapse? A Case Study of Lebanon
Authors:
Harry Halpin
Posters and Oral Presentations:
Digital Wallets in the Metaverse: A Blockchain-Based Approach to Enhance Payment Systems
Authors:
Mouloud Afoulous and Catarina Ferreira da Silva
SHIMI: A Semantic Hierarchical Memory Index for Decentralized Agent Reasoning
Authors:
Tooraj Helmi
NIST 800-53 Rev. 5 Compliance Automation for CII using Smart Contract, Generative AI, and Large Language Models
Authors:
Jemima Owusu-Tweneboah, Amani Altarawneh and S M Mostaq Hossain