Blockchain Technology and Emerging Applications
Springer International Publishing (Verlag)
978-3-032-12334-3 (ISBN)
- Noch nicht erschienen - erscheint am 02.02.2026
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
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.
| Erscheint lt. Verlag | 2.2.2026 |
|---|---|
| Reihe/Serie | Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering |
| Zusatzinfo | XX, 151 p. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Schlagworte | Blockchain • Blockchain and AI • blockchain applications • blockchain protocols • blockchain security • Smart Contracts • Smart Contract Verification • Web3 |
| ISBN-10 | 3-032-12334-8 / 3032123348 |
| ISBN-13 | 978-3-032-12334-3 / 9783032123343 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
