{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,31]],"date-time":"2026-07-31T22:39:48Z","timestamp":1785537588158,"version":"3.56.0"},"reference-count":59,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-001"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5]]},"DOI":"10.1109\/sp46214.2022.9833721","type":"proceedings-article","created":{"date-parts":[[2022,7,27]],"date-time":"2022-07-27T19:28:05Z","timestamp":1658950085000},"page":"161-178","source":"Crossref","is-referenced-by-count":98,"title":["SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds"],"prefix":"10.1109","author":[{"given":"Priyanka","family":"Bose","sequence":"first","affiliation":[{"name":"University of California,Santa Barbara"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dipanjan","family":"Das","sequence":"additional","affiliation":[{"name":"University of California,Santa Barbara"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yanju","family":"Chen","sequence":"additional","affiliation":[{"name":"University of California,Santa Barbara"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yu","family":"Feng","sequence":"additional","affiliation":[{"name":"University of California,Santa Barbara"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christopher","family":"Kruegel","sequence":"additional","affiliation":[{"name":"University of California,Santa Barbara"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giovanni","family":"Vigna","sequence":"additional","affiliation":[{"name":"University of California,Santa Barbara"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","year":"2016","journal-title":"Manticore"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380388"},{"key":"ref12","year":"2016","journal-title":"GovernMental's 1100 ETH payout is stuck because it uses too much gas"},{"key":"ref56","article-title":"Harvey: A greybox fuzzer for smart contracts","author":"w\u00fcstholz","year":"2019","journal-title":"ArXiv abs\/1905 06944"},{"key":"ref15","year":"2017","journal-title":"Understanding the dao attack"},{"key":"ref59","article-title":"TXSPECTOR: Uncovering attacks in ethereum from transactions","author":"zhang","year":"2020","journal-title":"USENIX Security Symposium (USENIX Security)"},{"key":"ref14","year":"2017","journal-title":"On the parity wallet multisig hack"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00017"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594340"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/3194113.3194115"},{"key":"ref11","year":"2016","journal-title":"DAO attack"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/3360615"},{"key":"ref10","year":"2020","journal-title":"Swc 114 - transaction order dependence attack"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"ref17","year":"2019","journal-title":"Exploiting uniswap from reentrancy to actual profit"},{"key":"ref16","year":"2018","journal-title":"Etherscan"},{"key":"ref19","year":"2020","journal-title":"Celery Distributed Task Queue"},{"key":"ref18","year":"2019","journal-title":"Sereum repository"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3417250"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23413"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3428258"},{"key":"ref48","article-title":"Smart contract vulnerabilities: Vulnerable does not imply exploited","author":"perez","year":"2021","journal-title":"USENIX Security Symposium (USENIX Security)"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380334"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23082"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00066"},{"key":"ref44","article-title":"teether: Gnawing at ethereum to automatically exploit smart contracts","author":"krupp","year":"2018","journal-title":"Proc Usenix Security Symposium"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330560"},{"key":"ref49","article-title":"A fast and low-overhead technique to secure programs against integer overflows","author":"quintao pereira","year":"2013","journal-title":"Proc Int Symp Code Generation Optimization (CGO)"},{"key":"ref8","year":"0","journal-title":"The reentrancy strikes again - the case of lendf me"},{"key":"ref7","year":"2020","journal-title":"Reentering the reentrancy bug Disclosing burgerswap’s vulnerability"},{"key":"ref9","year":"0","journal-title":"Smart contracts for shipping offer shortcut"},{"key":"ref4","year":"0","journal-title":"Panoramix decompiler"},{"key":"ref3","year":"2020","journal-title":"Mythril"},{"key":"ref6","year":"2019","journal-title":"Real Estate Business Integrates Smart Contracts"},{"key":"ref5","year":"0","journal-title":"Rattle Evm static analysis framework"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00120"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3158136"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3276486"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"1141","DOI":"10.1145\/3324884.3416646","article-title":"Summary-Based Symbolic Evaluation for Smart Contracts","author":"feng","year":"2020","journal-title":"IEEE\/ACM Int Conference on Automated Software Engineering (ASE)"},{"key":"ref30","article-title":"Precise attack synthesis for smart contracts","author":"feng","year":"2019","journal-title":"arXiv preprint arXiv 1902 06673"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1134\/S036176881805002X"},{"key":"ref32","article-title":"ETHBMC: A bounded model checker for smart contracts","author":"frank","year":"2020","journal-title":"USENIX Security Symposium (USENIX Security)"},{"key":"ref2","year":"2020","journal-title":"Echidna"},{"key":"ref1","year":"0","journal-title":"Cream finance post mortem Amp exploit"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786841"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970332"},{"key":"ref24","article-title":"Sys: A static\/symbolic tool for finding good bugs in good (browser) code","author":"brown","year":"2020","journal-title":"USENIX Security Symposium (USENIX Security)"},{"key":"ref23","author":"brent","year":"2018","journal-title":"Vandal A scalable security analysis framework for smart contracts"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2020.24449"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00084"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_28"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001423"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54455-6_8"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/WETSEB.2019.00008"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2490301.2451152"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3015135.3015137"}],"event":{"name":"2022 IEEE Symposium on Security and Privacy (SP)","location":"San Francisco, CA, USA","start":{"date-parts":[[2022,5,22]]},"end":{"date-parts":[[2022,5,26]]}},"container-title":["2022 IEEE Symposium on Security and Privacy (SP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9833550\/9833558\/09833721.pdf?arnumber=9833721","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T23:08:28Z","timestamp":1699484908000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9833721\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5]]},"references-count":59,"URL":"https:\/\/doi.org\/10.1109\/sp46214.2022.9833721","relation":{},"subject":[],"published":{"date-parts":[[2022,5]]}}}