Vankudoth, R. and K, G.R. 2026. VeriChain: A Hybrid Formal Verification Approach Using Control Flow, Symbolic Execution, and Static Analysis for Smart Contract Vulnerability Detection. Informatica. 50, 1 (Apr. 2026). DOI:https://doi.org/10.31449/inf.v50i1.9267.