TY  - RPRT
TI  - Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
AU  - Behkish Nassirzadeh
AU  - Huaiying Sun
AU  - Sebastian Banescu
AU  - Vijay Ganesh
PY  - 2022
DO  - 10.1007/978-3-031-18679-0
UR  - https://arxiv.org/abs/2112.14771
ID  - 2112.14771
ER  -