Vankudoth, R.; K, G. R. VeriChain: A Hybrid Formal Verification Approach Using Control Flow, Symbolic Execution, and Static Analysis for Smart Contract Vulnerability Detection. IJCAI 2026, 50.