{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T17:53:28Z","timestamp":1759773208210,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"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.3382157","type":"proceedings-article","created":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T22:53:48Z","timestamp":1601592828000},"page":"21-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Seraph"],"prefix":"10.1145","author":[{"given":"Zhiqiang","family":"Yang","sequence":"first","affiliation":[{"name":"Oxford-Hainan Blockchain, Hainan, China"}]},{"given":"Han","family":"Liu","sequence":"additional","affiliation":[{"name":"Oxford-Hainan Blockchain, Hainan, China"}]},{"given":"Yue","family":"Li","sequence":"additional","affiliation":[{"name":"Oxford-Hainan Blockchain, Hainan, China"}]},{"given":"Huixuan","family":"Zheng","sequence":"additional","affiliation":[{"name":"Oxford-Hainan Blockchain, Hainan, China"}]},{"given":"Lei","family":"Wang","sequence":"additional","affiliation":[{"name":"Oxford-Hainan Blockchain, Hainan, China and Shanghai Jiao Tong University, Shanghai, China"}]},{"given":"Bangdao","family":"Chen","sequence":"additional","affiliation":[{"name":"Oxford-Hainan Blockchain, Hainan, China"}]}],"member":"320","published-online":{"date-parts":[[2020,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2019. FISCO-BCOS. https:\/\/fisco-bcos.org\/.  2019. FISCO-BCOS. https:\/\/fisco-bcos.org\/."},{"key":"e_1_3_2_1_2_1","unstructured":"2019. Microsoft Z3 SMT Solver. https:\/\/z3.codeplex.com\/.  2019. Microsoft Z3 SMT Solver. https:\/\/z3.codeplex.com\/."},{"key":"e_1_3_2_1_3_1","unstructured":"2019. Mythril. https:\/\/github.com\/ConsenSys\/mythril.  2019. Mythril. https:\/\/github.com\/ConsenSys\/mythril."},{"key":"e_1_3_2_1_4_1","unstructured":"2019. Not so smart contracts. https:\/\/github.com\/crytic\/not-so-smart-contracts.  2019. Not so smart contracts. https:\/\/github.com\/crytic\/not-so-smart-contracts."},{"key":"e_1_3_2_1_5_1","unstructured":"2019. SWC Registry. https:\/\/swcregistry.io.  2019. SWC Registry. https:\/\/swcregistry.io."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/261124.261126"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/77606.77608"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737957"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Chao Liu Han Liu Zhao Cao Zhong Chen Bangdao Chen and Bill Roscoe. 2018. ReGuard: finding reentrancy bugs in smart contracts. In ICSE (Companion). ACM 65--68.  Chao Liu Han Liu Zhao Cao Zhong Chen Bangdao Chen and Bill Roscoe. 2018. ReGuard: finding reentrancy bugs in smart contracts. In ICSE (Companion). ACM 65--68.","DOI":"10.1145\/3183440.3183495"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Han Liu Chao Liu Wenqi Zhao Yu Jiang and Jiaguang Sun. 2018. S-gram: towards semantic-aware security auditing for Ethereum smart contracts. In ASE. ACM 814--819.  Han Liu Chao Liu Wenqi Zhao Yu Jiang and Jiaguang Sun. 2018. S-gram: towards semantic-aware security auditing for Ethereum smart contracts. In ASE. ACM 814--819.","DOI":"10.1145\/3238147.3240728"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_1_14_1","volume-title":"Verx: Safety verification of smart contracts. Security and Privacy 2020","author":"Permenev Anton","year":"2019","unstructured":"Anton Permenev , Dimitar Dimitrov , Petar Tsankov , Dana Drachsler-Cohen , and Martin Vechev . 2019 . Verx: Safety verification of smart contracts. Security and Privacy 2020 (2019). Anton Permenev, Dimitar Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, and Martin Vechev. 2019. Verx: Safety verification of smart contracts. Security and Privacy 2020 (2019)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_16_1","volume-title":"Arthur Gervais, Florian Buenzli, and Martin Vechev.","author":"Tsankov Petar","year":"2018","unstructured":"Petar Tsankov , Andrei Dan , Dana Drachsler Cohen , Arthur Gervais, Florian Buenzli, and Martin Vechev. 2018 . Securify : Practical Security Analysis of Smart Contracts . arXiv preprint arXiv:1806.01143 (2018). Petar Tsankov, Andrei Dan, Dana Drachsler Cohen, Arthur Gervais, Florian Buenzli, and Martin Vechev. 2018. Securify: Practical Security Analysis of Smart Contracts. arXiv preprint arXiv:1806.01143 (2018)."},{"key":"e_1_3_2_1_17_1","volume-title":"Ethereum: A secure decentralised generalised transaction ledger. Ethereum Project Yellow Paper 151","author":"Wood Gavin","year":"2014","unstructured":"Gavin Wood . 2014 . Ethereum: A secure decentralised generalised transaction ledger. Ethereum Project Yellow Paper 151 (2014). Gavin Wood. 2014. Ethereum: A secure decentralised generalised transaction ledger. Ethereum Project Yellow Paper 151 (2014)."}],"event":{"name":"ICSE '20: 42nd International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","KIISE Korean Institute of Information Scientists and Engineers","IEEE CS"],"location":"Seoul South Korea","acronym":"ICSE '20"},"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.3382157","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377812.3382157","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.3382157"}},"subtitle":["enabling cross-platform security analysis for EVM and WASM smart contracts"],"short-title":[],"issued":{"date-parts":[[2020,6,27]]},"references-count":17,"alternative-id":["10.1145\/3377812.3382157","10.1145\/3377812"],"URL":"https:\/\/doi.org\/10.1145\/3377812.3382157","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"}}]}}