SVBS@HICSS 2026 : Secure and Verifiable Blockchain Systems: Applications, Protocols, and Cryptography Minitrack @ HICSS

Verification Pending

This conference has not been verified yet. We recommend checking the official website and past editions before proceeding.

Learn more about verification

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
[email protected]

Claudio Tessone
University of Zurich
[email protected]