Full Description
This book constitutes the refereed proceedings of the 4th EAI International Conference on Blockchain Technology and Emerging Applications, BlockTEA 2025, held in Venice, Italy, during September 18-19, 2025.
The 12 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 45 submissions. They are organized in the following topical sections: Blockchain and AI; Protocol and Security; Short papers; Applications; and Smart Contract Verification.
Contents
.- Keynote talks
.- The Economics of Transparency and Centralization in Blockchains: From Mining Cartels to Market Crises.
.- Beyond the chain: synergies between on-chain and off-chain worlds.
.- Blockchain and AI
.- Towards Automating Blockchain Consensus Verification with IsabeLLM.
.- Optimizing Smart Contract Testing via Neural-MCTS.
.- Advanced Large Language Models Prompting Strategies for Reentrancy Classification and Explanation in Smart Contracts.
.- Protocol and Security
.- Fast Blocks and Furious Adjustments: Satoshi Drift.
.- VeriCert: SSL/TLS Certificate Verification based on Self-Sovereig Identity and Blockchain.
.- IDook: Empowering Labor Unions with Decentralized Digital Identities.
.- Interlock Protocol: Interactive Cross-L2 Atomic Transactions via Stateless Shared Sequencer.
.- Short papers
.- Can Blockchains Rebuild from a Financial Collapse? A Case Study of Lebanon.
.- Smart Social Contracts for Public Accountability: Blockchain Oracles and Verifiable Governance.
.- Applications
.- PolyIDns: a Blockchain-based Solution for Decentralized Domain Management.
.- Privacy-Preserving Auditable Hygiene Compliance Using Hyperledger Fabric in Hospital Environments.
.- Smart Contract Verification
.- An Ecosystem for Supporting Decentralised Applications Analysis.
.- Unmasking Fraud in DeFi: Behavioral and Statistical Insights into Scam Token Detection
.- An Overview of Termination in the Ethereum Blockchain.
