{"id":"https://openalex.org/W4408689272","doi":"https://doi.org/10.1145/3716895.3716931","title":"Checking Smart Contract Vulnerabilities in Blockchain-based Internet of Drones","display_name":"Checking Smart Contract Vulnerabilities in Blockchain-based Internet of Drones","publication_year":2024,"publication_date":"2024-11-08","ids":{"openalex":"https://openalex.org/W4408689272","doi":"https://doi.org/10.1145/3716895.3716931"},"language":"en","primary_location":{"id":"doi:10.1145/3716895.3716931","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3716895.3716931","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th International Conference on Artificial Intelligence and Computer Engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109798528","display_name":"Xiaohai Ji","orcid":null},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaohai Ji","raw_affiliation_strings":["School of Electronics and Information Engineering, BeiHang University, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0001-0246-2618","affiliations":[{"raw_affiliation_string":"School of Electronics and Information Engineering, BeiHang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007959279","display_name":"Zequan Zhou","orcid":"https://orcid.org/0000-0001-6290-2171"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zequan Zhou","raw_affiliation_strings":["School of Electronics and Information Engineering, BeiHang University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-6290-2171","affiliations":[{"raw_affiliation_string":"School of Electronics and Information Engineering, BeiHang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113669598","display_name":"Ting He","orcid":"https://orcid.org/0009-0001-0015-8444"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ting He","raw_affiliation_strings":["School of Electronics and Information Engineering, BeiHang University, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0001-0015-8444","affiliations":[{"raw_affiliation_string":"School of Electronics and Information Engineering, BeiHang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030989565","display_name":"Xiling Luo","orcid":"https://orcid.org/0000-0002-3443-6940"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xiling Luo","raw_affiliation_strings":["Hangzhou Innovation Institute, School of Electronics and Information Engineering, State Key Laboratory of CNS/ATM, BeiHang University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-3443-6940","affiliations":[{"raw_affiliation_string":"Hangzhou Innovation Institute, School of Electronics and Information Engineering, State Key Laboratory of CNS/ATM, BeiHang University, Beijing, China","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087512001","display_name":"Junjun Wang","orcid":"https://orcid.org/0000-0001-9791-6717"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Junjun Wang","raw_affiliation_strings":["School of Electronics and Information Engineering, BeiHang University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-9791-6717","affiliations":[{"raw_affiliation_string":"School of Electronics and Information Engineering, BeiHang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]},{"author_position":"last","author":{"id":null,"display_name":"Zhiqin Huo","orcid":"https://orcid.org/0009-0007-3744-5440"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiqin Huo","raw_affiliation_strings":["Hangzhou Innovation Institute, BeiHang University, Beijing, China"],"raw_orcid":"https://orcid.org/0009-0007-3744-5440","affiliations":[{"raw_affiliation_string":"Hangzhou Innovation Institute, BeiHang University, Beijing, China","institution_ids":["https://openalex.org/I82880672"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"198","last_page":"202"},"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/T10883","display_name":"Ethics and Social Impacts of AI","score":0.9605000019073486,"subfield":{"id":"https://openalex.org/subfields/3311","display_name":"Safety Research"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/blockchain","display_name":"Blockchain","score":0.9528375267982483},{"id":"https://openalex.org/keywords/drone","display_name":"Drone","score":0.7690469026565552},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.6922083497047424},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.624107837677002},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.46857619285583496},{"id":"https://openalex.org/keywords/internet-privacy","display_name":"Internet privacy","score":0.4675983786582947},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.4660191535949707},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.45854878425598145},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.16646713018417358}],"concepts":[{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.9528375267982483},{"id":"https://openalex.org/C59519942","wikidata":"https://www.wikidata.org/wiki/Q650665","display_name":"Drone","level":2,"score":0.7690469026565552},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.6922083497047424},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.624107837677002},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.46857619285583496},{"id":"https://openalex.org/C108827166","wikidata":"https://www.wikidata.org/wiki/Q175975","display_name":"Internet privacy","level":1,"score":0.4675983786582947},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.4660191535949707},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.45854878425598145},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.16646713018417358},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3716895.3716931","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3716895.3716931","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th International Conference on Artificial Intelligence and Computer Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W2539190473","https://openalex.org/W2911518933","https://openalex.org/W2915482584","https://openalex.org/W3152901931","https://openalex.org/W3189699165","https://openalex.org/W3201257237","https://openalex.org/W3217810871","https://openalex.org/W4226145659","https://openalex.org/W4285586691","https://openalex.org/W4289816662","https://openalex.org/W4295886294","https://openalex.org/W4301431031","https://openalex.org/W4308643059","https://openalex.org/W4308643994","https://openalex.org/W4318148059","https://openalex.org/W4318830530","https://openalex.org/W4324007147","https://openalex.org/W4385338012","https://openalex.org/W4386631269","https://openalex.org/W4387883695","https://openalex.org/W4407305920","https://openalex.org/W6809271533"],"related_works":["https://openalex.org/W4388187043","https://openalex.org/W4285161539","https://openalex.org/W2982625131","https://openalex.org/W4406264591","https://openalex.org/W4396636834","https://openalex.org/W3092627261","https://openalex.org/W4396241386","https://openalex.org/W4399333949","https://openalex.org/W4285166115","https://openalex.org/W3195083849"],"abstract_inverted_index":{"Blockchain-based":[0],"Internet":[1],"of":[2,18,31,131],"Drones":[3],"(B-IoD)":[4],"is":[5,83,172],"a":[6,29,84],"digital":[7],"infrastructure":[8],"that":[9,193],"utilizes":[10],"blockchain":[11],"for":[12,124,152],"the":[13,65,137,170],"secure":[14],"management":[15],"and":[16,39,68,102,146,167,183,197],"operation":[17],"drones.":[19],"Through":[20],"smart":[21,129],"contracts":[22,56,82,130,182],"(immutable":[23],"on-chain":[24],"programs),":[25],"B-IoD":[26,43],"can":[27],"automate":[28],"variety":[30],"applications":[32],"such":[33,99],"as":[34,100],"drone":[35],"logistics,":[36],"data":[37,139],"analysis,":[38],"situation":[40],"monitoring.":[41],"In":[42],"systems,":[44],"miners":[45,62],"provide":[46],"computing":[47],"power":[48],"to":[49,55,58,74,92,107,141,150,174],"generate":[50],"new":[51,72],"blocks.":[52],"This":[53],"leads":[54,104],"prone":[57],"blockchain-level":[59,79,126,175,200],"vulnerabilities,":[60],"where":[61],"may":[63],"control":[64],"transaction":[66],"order":[67],"block":[69],"information":[70],"in":[71,81,114,128],"blocks":[73],"jeopardize":[75],"system":[76],"stability.":[77],"Auditing":[78],"vulnerabilities":[80,127],"crucial":[85],"problem.":[86],"Existing":[87],"methods":[88,106],"employ":[89],"symbolic":[90,148],"execution":[91,97,149,153],"audit":[93,122,159],"contracts.":[94],"However,":[95],"inaccurate":[96],"modeling,":[98],"memory":[101],"storage,":[103],"existing":[105,187],"have":[108],"inferior":[109],"detection":[110],"accuracy.":[111],"For":[112],"such,":[113],"this":[115],"paper,":[116],"we":[117],"propose":[118],"an":[119,157],"effective":[120],"static":[121],"method":[123,134],"detecting":[125],"B-IoD.":[132],"Our":[133],"accurately":[135,198],"models":[136],"executive":[138],"structure":[140],"capture":[142],"contract":[143,171],"state":[144],"changes":[145],"uses":[147],"search":[151],"paths.":[154],"We":[155,177],"implement":[156],"automatic":[158],"tool,":[160],"ScAudit,":[161],"which":[162],"inputs":[163],"Solidity":[164],"source":[165],"code":[166],"reports":[168],"if":[169],"vulnerable":[173],"vulnerabilities.":[176,201],"evaluate":[178],"ScAudit":[179,194],"on":[180],"real-world":[181],"compare":[184],"it":[185],"with":[186],"tools.":[188],"The":[189],"experiment":[190],"results":[191],"show":[192],"performs":[195],"well":[196],"detects":[199]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}