Semantics-Based Static Vulnerability Detection in Solidity Using Abstract Interpretation. - Maitri Kushwaha; Arnab Mukherjee; Aishwarya Pandey; Raju Halder (ICISS, 2024)