- ホーム
- > 洋書
- > 英文書
- > Computer / Databases
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.
.- 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.
