This minitrack provides a dedicated place for research where the main contribution is technical depth on security, correctness, verifiability, cryptography, and real-world robustness of decentralized systems, including the measurement of failures and defenses in deployed ecosystems. We invite research on building, analyzing, and validating blockchain and Web3 systems under realistic adversarial and economic conditions. The focus is on protocol and smart contract security, privacy-enhancing cryptography, verification and formal methods, interoperability, scaling, and empirical measurement of attacks and mitigations. Work can be technical or empirical as long as the core contribution advances the security and verifiability of decentralized systems and applications. Topics of interest include:

SCOPE:
-Consensus and protocol security, adversarial modeling, censorship resistance, resilience, performance
-Layer 2 and modular scaling, rollups, data availability, state channels, shared security
-Cross-chain interoperability, bridge designs, bridge security, composability risks
Smart contract security, auditing methods, program analysis, secure languages and tooling
-Formal methods and verification for protocols and contracts, specification, proofs, certified implementations
-Zero knowledge and privacy tech for Web3, MPC, threshold cryptography, verifiable computation, privacy preserving compliance
-Cryptoeconomics and mechanism design, incentive attacks, MEV, transaction ordering, oracle games
-Measurement and telemetry, on-chain security analytics, incident datasets, forensic methods, ecosystem risk metrics
-Key management and wallet security, custody, recovery, phishing resistance, usable security
-Oracles and secure off-chain components, TEEs, hardware anchored trust, secure integration patterns


Minitrack Co-Chairs:

Ivan Homoliak (Primary Contact)
Brno University of Technology
homoliak@fit.vutbr.cz

Claudio Tessone
University of Zurich
claudio.tessone@uzh.ch