Cover Image

Blockchain technology and emerging applications : 4th EAI International Conference, BlockTEA 2025, Venice, Italy, September 18-19, 2025 : Proceedings /

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 sel...

Full description

Bibliographic Details
Corporate Author: EAI International Conference on Blockchain Technology and Emerging Applications Venice, Italy
Other Authors: Knottenbelt, William J. (Editor), Ressi, Dalila (Editor), Rossi, Sabina (Editor), Tiezzi, Francesco (Editor)
Format: Conference Proceeding eBook
Language:English
Published: Cham : Springer, [2026]
Series:Lecture notes of the Institute for Computer Sciences, Social Informatics, and Telecommunications Engineering ; 669.
Subjects:
Blockchains (Databases) > Congresses.
Chaînes de blocs > Congrès.
Electronic books.
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.