{"id":"https://openalex.org/W4206231452","doi":"https://doi.org/10.1007/978-981-16-9229-1_12","title":"Smart Contract Vulnerability Detection Based on\u00a0Symbolic Execution Technology","display_name":"Smart Contract Vulnerability Detection Based on\u00a0Symbolic Execution Technology","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4206231452","doi":"https://doi.org/10.1007/978-981-16-9229-1_12"},"language":"en","primary_location":{"id":"doi:10.1007/978-981-16-9229-1_12","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-981-16-9229-1_12","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-981-16-9229-1_12.pdf","source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications in Computer and Information Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-981-16-9229-1_12.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100726685","display_name":"Yiping Liu","orcid":"https://orcid.org/0000-0001-7340-2551"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yiping Liu","raw_affiliation_strings":["Department of Cyberspace Security, Beijing University of Posts and Telecommunications, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Cyberspace Security, Beijing University of Posts and Telecommunications, Beijing, China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101704074","display_name":"Jie Xu","orcid":"https://orcid.org/0000-0002-9924-4157"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jie Xu","raw_affiliation_strings":["Department of Cyberspace Security, Beijing University of Posts and Telecommunications, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Cyberspace Security, Beijing University of Posts and Telecommunications, Beijing, China","institution_ids":["https://openalex.org/I139759216"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084818732","display_name":"Baojiang Cui","orcid":"https://orcid.org/0000-0001-6937-4068"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Baojiang Cui","raw_affiliation_strings":["Department of Cyberspace Security, Beijing University of Posts and Telecommunications, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Cyberspace Security, Beijing University of Posts and Telecommunications, Beijing, China","institution_ids":["https://openalex.org/I139759216"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100726685"],"corresponding_institution_ids":["https://openalex.org/I139759216"],"apc_list":null,"apc_paid":null,"fwci":3.1527,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.90843703,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"193","last_page":"207"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9154000282287598,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/vulnerability","display_name":"Vulnerability (computing)","score":0.7288538813591003},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6686793565750122},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.650741457939148},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.6210582256317139},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6003153324127197},{"id":"https://openalex.org/keywords/control-flow-graph","display_name":"Control flow graph","score":0.4896624684333801},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.44143807888031006},{"id":"https://openalex.org/keywords/blockchain","display_name":"Blockchain","score":0.250493586063385},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.10434013605117798},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08783826231956482}],"concepts":[{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.7288538813591003},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6686793565750122},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.650741457939148},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.6210582256317139},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6003153324127197},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.4896624684333801},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.44143807888031006},{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.250493586063385},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.10434013605117798},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08783826231956482}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-981-16-9229-1_12","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-981-16-9229-1_12","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-981-16-9229-1_12.pdf","source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications in Computer and Information Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-981-16-9229-1_12","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-981-16-9229-1_12","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-981-16-9229-1_12.pdf","source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications in Computer and Information Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.4699999988079071,"id":"https://metadata.un.org/sdg/17"}],"awards":[{"id":"https://openalex.org/G1447756616","display_name":null,"funder_award_id":"61802025","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4206231452.pdf","grobid_xml":"https://content.openalex.org/works/W4206231452.grobid-xml"},"referenced_works_count":6,"referenced_works":["https://openalex.org/W2539190473","https://openalex.org/W2790202156","https://openalex.org/W2805052744","https://openalex.org/W2846896781","https://openalex.org/W2908007588","https://openalex.org/W3043576244"],"related_works":["https://openalex.org/W2138385884","https://openalex.org/W2166895275","https://openalex.org/W157564837","https://openalex.org/W2080313875","https://openalex.org/W2998775986","https://openalex.org/W2011536294","https://openalex.org/W1724049288","https://openalex.org/W2150418816","https://openalex.org/W2505543667","https://openalex.org/W4283386367"],"abstract_inverted_index":{"Abstract":[0],"With":[1],"the":[2,6,36,41,73,80,92,96,99,107,131,136,141,154,168],"rapid":[3],"development":[4],"of":[5,17,31,40,63,76,94,98,109,124,135,164,187],"blockchain,":[7],"smart":[8,18,42,77,81,110,126,137],"contract":[9,43,82,138],"technology":[10],"has":[11,20,116,183],"been":[12],"widely":[13],"applied.":[14],"The":[15,49,128,157],"number":[16],"contracts":[19,111],"grown":[21],"at":[22,28],"a":[23,61,120,184],"high":[24,185],"rate":[25],"and":[26,38,53,67,102,118,149,171,176,190],"nearly":[27],"an":[29],"average":[30],"thousands":[32],"per":[33],"day.":[34],"However,":[35],"correctness":[37],"security":[39,74,108],"itself":[44],"are":[45,69],"facing":[46],"huge":[47],"problems.":[48],"well-known":[50],"DAO":[51],"vulnerability,":[52,173],"Parity":[54],"multi-signature":[55],"wallet\u2019":[56],"vulnerabilities":[57],"have":[58],"leaded":[59],"to":[60,90,139],"hundreds":[62],"millions":[64],"dollars":[65],"loss,":[66],"they":[68],"both":[70],"caused":[71],"by":[72],"problems":[75],"contracts.":[78],"Once":[79],"vulnerability":[83,121,150,175,195],"is":[84,87,112],"exploited,":[85],"it":[86],"very":[88],"likely":[89],"bring":[91],"loss":[93],"cryptocurrencies,":[95],"disorder":[97],"financial":[100],"order":[101],"other":[103],"catastrophic":[104],"consequences.":[105],"Therefore":[106],"imminent.":[113],"This":[114],"project":[115],"designed":[117],"implemented":[119],"detection":[122,188],"system":[123,129,158],"Ethereum":[125],"contract.":[127],"uses":[130],"assembly":[132],"instruction":[133],"sequences":[134],"generate":[140],"control":[142,155],"flow":[143],"graph,":[144],"then":[145],"performs":[146],"symbolic":[147],"execution":[148],"constraint":[151],"solving":[152],"over":[153],"flow.":[156],"can":[159],"detect":[160],"some":[161],"common":[162],"types":[163],"vulnerabilities,":[165],"such":[166],"as":[167],"integer":[169],"overflow":[170],"underflow":[172],"reentry":[174],"unchecked":[177],"call":[178],"return":[179],"value":[180],"vulnerability.":[181],"It":[182],"accuracy":[186],"result,":[189],"gives":[191],"support":[192],"for":[193],"export":[194],"report.":[196]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}