1 option
Blockchain Technology and Emerging Applications : 4th EAI International Conference, BlockTEA 2025, Venice, Italy, September 18–19, 2025, Proceedings / edited by William Knottenbelt, Dalila Ressi, Sabina Rossi, Francesco Tiezzi.
Springer Nature - Springer Computer Science eBooks 2026 English International Available online
View online- Format:
- Book
- Author/Creator:
- Knottenbelt, William.
- Series:
- Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 1867-822X ; 669
- Language:
- English
- Subjects (All):
- Computer systems.
- Computer networks.
- Artificial intelligence.
- Machine learning.
- Data protection.
- Computer System Implementation.
- Computer Communication Networks.
- Artificial Intelligence.
- Machine Learning.
- Data and Information Security.
- Local Subjects:
- Computer System Implementation.
- Computer Communication Networks.
- Artificial Intelligence.
- Machine Learning.
- Data and Information Security.
- Physical Description:
- 1 online resource (322 pages)
- Edition:
- 1st ed. 2026.
- Place of Publication:
- Cham : Springer Nature Switzerland : Imprint: Springer, 2026.
- Summary:
- 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.
- Notes:
- Description based on publisher supplied metadata and other sources.
- ISBN:
- 3-032-12335-6
- 9783032123350
- OCLC:
- 1569121097
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.