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