Maitri Kushwaha

A Sound Semantics Approximation of Solidity for Enhanced Vulnerability Detection

As Solidity smart contracts become central to decentralized finance and governance, the exploitation of critical vulnerabilities has repeatedly resulted in severe financial losses. Existing state-of-the-art methods that rely on symbolic execution or syntactic patterns are unable to model the language semantics accurate...