Behkish Nassirzadeh, Huaiying Sun, Sebastian Banescu, Vijay Ganesh. Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities. In Panos M. Pardalos, Ilias S. Kotsireas, Yike Guo, William J. Knottenbelt, editors, 3rd International Conference on Mathematical Research for Blockchain Economy, MARBLE 2022, Vilamoura, Portugal, July 12-14, 2022. Lecture Notes in Operations Research, pages 143-167, Springer, 2022. [doi]
Abstract is missing.