


default search action
BlockTEA 2025: Venice, Italy
- William Knottenbelt

, Dalila Ressi
, Sabina Rossi
, Francesco Tiezzi
:
Blockchain Technology and Emerging Applications - 4th EAI International Conference, BlockTEA 2025, Venice, Italy, September 18-19, 2025, Proceedings. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 669, Springer 2026, ISBN 978-3-032-12334-3
Blockchain and AI
- Elliot Jones, William Knottenbelt:

Towards Automating Blockchain Consensus Verification with IsabeLLM. 3-18 - Morena Barboni, Filippo Lampa

, Andrea Morichetta, Andrea Polini:
Optimizing Smart Contract Testing via Neural-MCTS Test Prioritization. 19-36 - Matteo Rizzo

, Alvise Spanò
, Lorenzo Benetollo
, Dalila Ressi
, Andrea Gasparetto
, Sabina Rossi
:
Advanced Large Language Models Prompting Strategies for Reentrancy Classification and Explanation in Smart Contracts. 37-56
Protocol and Security
- Demetris Kyriacou, Matthieu Babak, Iain Stewart, William J. Knottenbelt:

Fast Blocks and Furious Adjustments: Satoshi Drift. 59-79 - Andrea Giuliani, Andrea De Salve, Paolo Mori, Laura Ricci:

VeriCert: SSL/TLS Certificate Verification Based on Self-sovereign Identity and Blockchain. 80-97 - Thabata Ganga

, Breno C. Nakamura, Arlindo F. da Conceição:
IDook: Empowering Labor Unions with Decentralized Digital Identities. 98-113 - Uri Lee, William J. Knottenbelt:

Interlock Protocol: Interactive Cross-L2 Atomic Transactions via Stateless Shared Sequencer. 114-130
Short papers
- Harry Halpin:

Can Blockchains Rebuild from a Financial Collapse? - The Case Study of Lebanon. 133-143 - Cristina Carata, Kimberley Cheung, Adam Hamilton-Smith, William J. Knottenbelt:

Smart Social Contracts for Public Accountability: Blockchain Oracles and Verifiable Governance. 144-154
Applications
- Alessandro Marcelletti, Leonardo Migliorelli, Andrea Morichetta:

PolyIDns: A Blockchain-Based Solution for Decentralized Domain Management. 157-173 - Pierluigi Gallo

, Muhammad Rehan, Francesco Saverio Cannizzaro, Gabriele Catalano, Maria Timoshina:
Privacy-Preserving Auditable Hygiene Compliance Using Hyperledger Fabric in Hospital Environments. 174-193
Smart Contract Verification
- Flavio Corradini, Lorenzo Luzi, Fausto Marcantoni, Alessandro Marcelletti, Andrea Morichetta, Barbara Re:

A Framework for Supporting Decentralised Applications Analysis. 197-213 - Mahdiyeh Barzegar, Hamid Reza Barzegar

, Nabil El Ioini
, Claus Pahl
:
Unmasking Fraud in DeFi: Behavioral and Statistical Insights into Scam Token Detection. 214-225 - Luca Olivieri

, Luca Pasetto
, Luca Negrini
, Pietro Ferrara
:
An Overview of Termination in the Ethereum Blockchain. 226-248

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














