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). doi: 10.31449/inf.v50i1.9267.