Overview

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.

Full Product Details

Author:   William Knottenbelt ,  Dalila Ressi ,  Sabina Rossi ,  Francesco Tiezzi
Publisher:   Springer Nature Switzerland AG
Imprint:   Springer Nature Switzerland AG
ISBN:  

9783032123343

ISBN 10:   3032123348
Pages:   256
Publication Date:   10 February 2026
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Forthcoming
Availability:   Not yet available  
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Table of 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.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions