Muutke küpsiste eelistusi

Blockchain Technology and Emerging Applications: 4th EAI International Conference, BlockTEA 2025, Venice, Italy, September 1819, 2025, Proceedings [Pehme köide]

Edited by , Edited by , Edited by , Edited by
  • Pehme köide
  • Hind: 51,29 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 68,39 €
  • Säästad 25%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 3-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
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 1819, 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.
.- 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.