- 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.