{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T17:00:49Z","timestamp":1778173249051,"version":"3.51.4"},"reference-count":54,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"HKSAR RGC GRF","award":["16202917"],"award-info":[{"award-number":["16202917"]}]},{"name":"National Key R D Program of China","award":["2018YFB1404402"],"award-info":[{"award-number":["2018YFB1404402"]}]},{"name":"The Science and Technology Planning Project of Guangdong Province","award":["2012224-12"],"award-info":[{"award-number":["2012224-12"]}]},{"name":"The Science and Technology Planning Project of Guangdong Province","award":["2016B030305006"],"award-info":[{"award-number":["2016B030305006"]}]},{"name":"The Science and Technology Planning Project of Guangdong Province","award":["201804010314"],"award-info":[{"award-number":["201804010314"]}]},{"name":"The Science and Technology Planning Project of Guangdong Province","award":["2018A070717021"],"award-info":[{"award-number":["2018A070717021"]}]},{"name":"the Key Research and Development Program for Guang-dong","award":["2019B010137003"],"award-info":[{"award-number":["2019B010137003"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Serv. Comput."],"published-print":{"date-parts":[[2019]]},"DOI":"10.1109\/tsc.2019.2949561","type":"journal-article","created":{"date-parts":[[2019,10,25]],"date-time":"2019-10-25T19:43:58Z","timestamp":1572032638000},"page":"1-1","source":"Crossref","is-referenced-by-count":48,"title":["ContractGuard: Defend Ethereum Smart Contracts with Embedded Intrusion Detection"],"prefix":"10.1109","author":[{"given":"Xinming","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiahao","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhijian","family":"Xie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gansen","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.C.","family":"Cheung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","year":"0"},{"key":"ref38","year":"0"},{"key":"ref33","article-title":"An in-depth look at the parity multisig bug","author":"breidenbach","year":"2017"},{"key":"ref32","first-page":"253","article-title":"Investigating the problem of IDS false alarms: An experimental study using Snort","author":"tjhai","year":"2008","journal-title":"Proc IFIP Int Inf Secur Conf"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/183432.183527"},{"key":"ref30","article-title":"Truffle suite | Sweet tools for smart contracts","year":"0"},{"key":"ref37","year":"0"},{"key":"ref36","article-title":"Smart contract wallets created in frontier are vulnerable to phishing attacks","year":"0"},{"key":"ref35","article-title":"Detecting integer arithmetic bugs in ethereum smart contracts","year":"0"},{"key":"ref34","article-title":"Post-Mortem Investigation","year":"0"},{"key":"ref28","article-title":"BEC spiked 4000% on first trading day, another pump-and-dump scheme?","author":"wang","year":"2018"},{"key":"ref27","article-title":"A survey of solidity security vulnerability","year":"2018"},{"key":"ref29","first-page":"45","article-title":"Taming coincidental correctness: Coverage refinement with context patterns","author":"wang","year":"2009","journal-title":"Proc Int Conf Softw Eng"},{"key":"ref2","article-title":"A next-generation smart contract and decentralized application platform","author":"buterin","year":"2014"},{"key":"ref1","author":"nakamoto","year":"2008","journal-title":"Bitcoin A Peer-to-Peer Electronic Cash System"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30143-1_2"},{"key":"ref22","first-page":"682","article-title":"Hash, displace, and compress","author":"belazzougui","year":"2009","journal-title":"Proc Eur Symp Algorithms"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.1996.566449"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1133255.1134012"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-2535-6"},{"key":"ref26","article-title":"Solidity security: Comprehensive list of known attack vectors and common anti-patterns","author":"manning","year":"2018"},{"key":"ref25","article-title":"A survey on the security of blockchain systems","author":"li","year":"2017","journal-title":"Future Generation Comput Syst"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.70"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277665"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2007.34"},{"key":"ref53","first-page":"35","article-title":"Signature based intrusion detection system using SNORT","volume":"1","author":"kumar","year":"2012","journal-title":"Int J Comput Appl Inf Technol"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3276486"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"ref40","year":"0"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1016\/j.jnca.2012.09.004","article-title":"Intrusion detection system: A comprehensive review","volume":"36","author":"liao","year":"2013","journal-title":"J Netw Comput Appl"},{"key":"ref13","article-title":"Understanding the DAO attack","author":"siegel","year":"2016"},{"key":"ref14","article-title":"Parity multisig hacked. Again","author":"akentiev","year":"2017"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1086297.1086305"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2003.1199328"},{"key":"ref17","first-page":"191","article-title":"A virtual machine introspection based architecture for intrusion detection","volume":"3","author":"garfinkel","year":"2003","journal-title":"Proc Symp Network and Distributed System Security"},{"key":"ref18","article-title":"Ethereum: A secure decentralized generalized transaction ledger","year":"2015"},{"key":"ref19","article-title":"Efficient context-sensitive intrusion detection","author":"giffin","year":"2004","journal-title":"Proc Symp Network and Distributed System Security"},{"key":"ref4","first-page":"1317","article-title":"Teether: Gnawing at ethereum to automatically exploit smart contracts","author":"krupp","year":"2018","journal-title":"Proc 27th USENIX Conf Secur Symp"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1007\/978-3-662-54455-6_8","article-title":"A survey of attacks on ethereum smart contracts (sok)","author":"atzei","year":"2017","journal-title":"Proc Int Conf Principles Secur Trust"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23082"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2017.7884650"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/978-3-030-03592-1_13","article-title":"Towards verification of ethereum smart contracts: A formalization of core of solidity","author":"zakrzewski","year":"2018","journal-title":"Proc IFIP Working Conf Verified Software Theories Tools Experiments"},{"key":"ref7","article-title":"Vandal: A scalable security analysis framework for smart contracts","author":"brent","year":"2018","journal-title":"arXiv 1809 03981"},{"key":"ref49","first-page":"373","article-title":"Ball-larus path profiling across multiple loop iterations","volume":"48","author":"d'elia","year":"2013","journal-title":"Proc ACM Special Interest Group Program Lang Notices"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274743"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89722-6_10"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3158136"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-49051-7_4"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301678"},{"key":"ref42","year":"0"},{"key":"ref41","year":"0"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"ref43","article-title":"SafeMath OpenZeppelin","year":"2019"}],"container-title":["IEEE Transactions on Services Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4629386\/4629387\/08883087.pdf?arnumber=8883087","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T17:12:11Z","timestamp":1651079531000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8883087\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"references-count":54,"URL":"https:\/\/doi.org\/10.1109\/tsc.2019.2949561","relation":{},"ISSN":["1939-1374","2372-0204"],"issn-type":[{"value":"1939-1374","type":"electronic"},{"value":"2372-0204","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]}}}