{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T05:16:23Z","timestamp":1781327783067,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,27]],"date-time":"2020-06-27T00:00:00Z","timestamp":1593216000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,27]]},"DOI":"10.1145\/3377812.3390908","type":"proceedings-article","created":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T22:53:48Z","timestamp":1601592828000},"page":"274-275","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Clairvoyance"],"prefix":"10.1145","author":[{"given":"Jiaming","family":"Ye","sequence":"first","affiliation":[{"name":"University of Science and Technology of China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mingliang","family":"Ma","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yun","family":"Lin","sequence":"additional","affiliation":[{"name":"National University of Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yulei","family":"Sui","sequence":"additional","affiliation":[{"name":"University of Technology Sydney"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yinxing","family":"Xue","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Ethereum: Blockchain App Platform. https:\/\/www.ethereum.org\/. Online","year":"2019","unstructured":"2015. Ethereum: Blockchain App Platform. https:\/\/www.ethereum.org\/. Online ; accessed 29 January 2019 . 2015. Ethereum: Blockchain App Platform. https:\/\/www.ethereum.org\/. Online; accessed 29 January 2019."},{"key":"e_1_3_2_1_2_1","volume-title":"A Block Explorer and Analytics Platform for Ethereum. https:\/\/etherscan.io\/. Online","year":"2019","unstructured":"2019. A Block Explorer and Analytics Platform for Ethereum. https:\/\/etherscan.io\/. Online ; accessed 29 January 2019 . 2019. A Block Explorer and Analytics Platform for Ethereum. https:\/\/etherscan.io\/. Online; accessed 29 January 2019."},{"key":"e_1_3_2_1_3_1","unstructured":"David Siegel. [n.d.]. Understanding the DAO Attack. Website. https:\/\/www.coindesk.com\/understanding-dao-hack-journalists.  David Siegel. [n.d.]. Understanding the DAO Attack. Website. https:\/\/www.coindesk.com\/understanding-dao-hack-journalists."},{"key":"e_1_3_2_1_4_1","volume-title":"Making Smart Contracts Smarter. In CCS","author":"Luu Loi","year":"2016","unstructured":"Loi Luu , Duc-Hiep Chu , Hrishi Olickel , Prateek Saxena , and Aquinas Hobor . 2016 . Making Smart Contracts Smarter. In CCS 2016. 254--269. Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, and Aquinas Hobor. 2016. Making Smart Contracts Smarter. In CCS 2016. 254--269."},{"key":"e_1_3_2_1_5_1","unstructured":"trailofbits. 2019. Slither. github. https:\/\/github.com\/trailofbits\/slither.  trailofbits. 2019. Slither. github. https:\/\/github.com\/trailofbits\/slither."},{"key":"e_1_3_2_1_6_1","first-page":"67","article-title":"Securify","volume":"2018","author":"Tsankov Petar","year":"2018","unstructured":"Petar Tsankov , Andrei Marian Dan , Dana Drachsler-Cohen , Arthur Gervais , Florian B\u00fcnzli , and Martin T. Vechev . 2018 . Securify : Practical Security Analysis of Smart Contracts. In CCS 2018. 67 -- 82 . Petar Tsankov, Andrei Marian Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian B\u00fcnzli, and Martin T. Vechev. 2018. Securify: Practical Security Analysis of Smart Contracts. In CCS 2018. 67--82.","journal-title":"Practical Security Analysis of Smart Contracts. In CCS"}],"event":{"name":"ICSE '20: 42nd International Conference on Software Engineering","location":"Seoul South Korea","acronym":"ICSE '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","KIISE Korean Institute of Information Scientists and Engineers","IEEE CS"]},"container-title":["Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering: Companion Proceedings"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377812.3390908","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377812.3390908","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:42Z","timestamp":1750199922000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377812.3390908"}},"subtitle":["cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts"],"short-title":[],"issued":{"date-parts":[[2020,6,27]]},"references-count":6,"alternative-id":["10.1145\/3377812.3390908","10.1145\/3377812"],"URL":"https:\/\/doi.org\/10.1145\/3377812.3390908","relation":{},"subject":[],"published":{"date-parts":[[2020,6,27]]},"assertion":[{"value":"2020-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}