{"id":"https://openalex.org/W4411025433","doi":"https://doi.org/10.1561/3300000044","title":"Security Analysis and Formal Verification on Blockchain and its Applications","display_name":"Security Analysis and Formal Verification on Blockchain and its Applications","publication_year":2025,"publication_date":"2025-06-04","ids":{"openalex":"https://openalex.org/W4411025433","doi":"https://doi.org/10.1561/3300000044"},"language":"en","primary_location":{"id":"doi:10.1561/3300000044","is_oa":true,"landing_page_url":"https://doi.org/10.1561/3300000044","pdf_url":null,"source":{"id":"https://openalex.org/S4210223006","display_name":"Foundations and Trends\u00ae in Privacy and Security","issn_l":"2474-1558","issn":["2474-1558","2474-1566"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318575","host_organization_name":"Now Publishers","host_organization_lineage":["https://openalex.org/P4310318575"],"host_organization_lineage_names":["Now Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Foundations and Trends\u00ae in Privacy and Security","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1561/3300000044","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109155846","display_name":"Kang Li","orcid":"https://orcid.org/0000-0002-2213-5489"},"institutions":[{"id":"https://openalex.org/I4210131999","display_name":"123 Certification (Canada)","ror":"https://ror.org/030b05n70","country_code":"CA","type":"company","lineage":["https://openalex.org/I4210131999"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Kang Li","raw_affiliation_strings":["CertiK ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CertiK ,","institution_ids":["https://openalex.org/I4210131999"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000031216","display_name":"Ronghui Gu","orcid":"https://orcid.org/0000-0002-6812-6182"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ronghui Gu","raw_affiliation_strings":["Columbia University ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Columbia University ,","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101590763","display_name":"Jun Xu","orcid":"https://orcid.org/0000-0002-1179-7487"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jun Xu","raw_affiliation_strings":["The University of Utah ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Utah ,","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101916439","display_name":"Zhaofeng Chen","orcid":"https://orcid.org/0000-0003-3492-6656"},"institutions":[{"id":"https://openalex.org/I4210131999","display_name":"123 Certification (Canada)","ror":"https://ror.org/030b05n70","country_code":"CA","type":"company","lineage":["https://openalex.org/I4210131999"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Zhaofeng Chen","raw_affiliation_strings":["CertiK ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CertiK ,","institution_ids":["https://openalex.org/I4210131999"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100682227","display_name":"Siwei Wu","orcid":"https://orcid.org/0000-0002-6114-8899"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Siwei Wu","raw_affiliation_strings":["Zhejiang University ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Zhejiang University ,","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088790914","display_name":"Yajin Zhou","orcid":"https://orcid.org/0000-0001-7610-4736"},"institutions":[{"id":"https://openalex.org/I4210121678","display_name":"Block Engineering (United States)","ror":"https://ror.org/02ehf4193","country_code":"US","type":"company","lineage":["https://openalex.org/I4210121678"]},{"id":"https://openalex.org/I4210137950","display_name":"Block Center","ror":"https://ror.org/03vk8p158","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I4210137950"]},{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN","US"],"is_corresponding":false,"raw_author_name":"Yajin Zhou","raw_affiliation_strings":["BlockSec ,","Zhejiang University ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"BlockSec ,","institution_ids":["https://openalex.org/I4210121678","https://openalex.org/I4210137950"]},{"raw_affiliation_string":"Zhejiang University ,","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100695047","display_name":"Mu Zhang","orcid":"https://orcid.org/0000-0001-5905-9515"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mu Zhang","raw_affiliation_strings":["The University of Utah ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Utah ,","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100400376","display_name":"Xiapu Luo","orcid":"https://orcid.org/0000-0002-9082-3208"},"institutions":[{"id":"https://openalex.org/I14243506","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98","country_code":"HK","type":"education","lineage":["https://openalex.org/I14243506"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Xiapu Luo","raw_affiliation_strings":["The Hong Kong Polytechnic University ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Hong Kong Polytechnic University ,","institution_ids":["https://openalex.org/I14243506"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000216561","display_name":"Yuzhe Tang","orcid":"https://orcid.org/0000-0002-8911-106X"},"institutions":[{"id":"https://openalex.org/I70983195","display_name":"Syracuse University","ror":"https://ror.org/025r5qe02","country_code":"US","type":"education","lineage":["https://openalex.org/I70983195"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yuzhe Tang","raw_affiliation_strings":["Syracuse University ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Syracuse University ,","institution_ids":["https://openalex.org/I70983195"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100421652","display_name":"Yi Li","orcid":"https://orcid.org/0000-0002-8855-4520"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Yi Li","raw_affiliation_strings":["Nanyang Technological University ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanyang Technological University ,","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071738824","display_name":"Xiaokuan Zhang","orcid":"https://orcid.org/0000-0002-4646-7146"},"institutions":[{"id":"https://openalex.org/I162714631","display_name":"George Mason University","ror":"https://ror.org/02jqj7156","country_code":"US","type":"education","lineage":["https://openalex.org/I162714631"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiaokuan Zhang","raw_affiliation_strings":["George Mason University ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"George Mason University ,","institution_ids":["https://openalex.org/I162714631"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100354989","display_name":"Yibo Wang","orcid":"https://orcid.org/0009-0007-7614-9310"},"institutions":[{"id":"https://openalex.org/I70983195","display_name":"Syracuse University","ror":"https://ror.org/025r5qe02","country_code":"US","type":"education","lineage":["https://openalex.org/I70983195"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yibo Wang","raw_affiliation_strings":["Syracuse University ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Syracuse University ,","institution_ids":["https://openalex.org/I70983195"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":10,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.7655,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.94519288,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"8","issue":"1","first_page":"1","last_page":"121"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.26260000467300415,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11424","display_name":"Security and Verification in Computing","score":0.26260000467300415,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11614","display_name":"Cloud Data Security Solutions","score":0.06270000338554382,"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.05779999867081642,"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/blockchain","display_name":"Blockchain","score":0.9341243505477905},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5587481260299683},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.43594983220100403}],"concepts":[{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.9341243505477905},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5587481260299683},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.43594983220100403}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1561/3300000044","is_oa":true,"landing_page_url":"https://doi.org/10.1561/3300000044","pdf_url":null,"source":{"id":"https://openalex.org/S4210223006","display_name":"Foundations and Trends\u00ae in Privacy and Security","issn_l":"2474-1558","issn":["2474-1558","2474-1566"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318575","host_organization_name":"Now Publishers","host_organization_lineage":["https://openalex.org/P4310318575"],"host_organization_lineage_names":["Now Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Foundations and Trends\u00ae in Privacy and Security","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1561/3300000044","is_oa":true,"landing_page_url":"https://doi.org/10.1561/3300000044","pdf_url":null,"source":{"id":"https://openalex.org/S4210223006","display_name":"Foundations and Trends\u00ae in Privacy and Security","issn_l":"2474-1558","issn":["2474-1558","2474-1566"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318575","host_organization_name":"Now Publishers","host_organization_lineage":["https://openalex.org/P4310318575"],"host_organization_lineage_names":["Now Publishers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Foundations and Trends\u00ae in Privacy and Security","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":99,"referenced_works":["https://openalex.org/W146244851","https://openalex.org/W1515421996","https://openalex.org/W1560643704","https://openalex.org/W1755189310","https://openalex.org/W1820726602","https://openalex.org/W1969553191","https://openalex.org/W1998162300","https://openalex.org/W2000947342","https://openalex.org/W2030988895","https://openalex.org/W2048417351","https://openalex.org/W2048903680","https://openalex.org/W2129901874","https://openalex.org/W2130308071","https://openalex.org/W2134147303","https://openalex.org/W2162943184","https://openalex.org/W2209913494","https://openalex.org/W2255466643","https://openalex.org/W2284263109","https://openalex.org/W2518474658","https://openalex.org/W2555835184","https://openalex.org/W2571456046","https://openalex.org/W2584230735","https://openalex.org/W2604844934","https://openalex.org/W2605892453","https://openalex.org/W2724374034","https://openalex.org/W2769609281","https://openalex.org/W2846896781","https://openalex.org/W2884958048","https://openalex.org/W2885034081","https://openalex.org/W2898569715","https://openalex.org/W2907175270","https://openalex.org/W2911592080","https://openalex.org/W2921394183","https://openalex.org/W2959880161","https://openalex.org/W2963610883","https://openalex.org/W2963723316","https://openalex.org/W2964144608","https://openalex.org/W2970809537","https://openalex.org/W2979467439","https://openalex.org/W2979602992","https://openalex.org/W2982275082","https://openalex.org/W2989951079","https://openalex.org/W2999378142","https://openalex.org/W3003924369","https://openalex.org/W3013170861","https://openalex.org/W3015325345","https://openalex.org/W3015405072","https://openalex.org/W3016155638","https://openalex.org/W3026315212","https://openalex.org/W3034136313","https://openalex.org/W3035658748","https://openalex.org/W3043576244","https://openalex.org/W3047945658","https://openalex.org/W3091620507","https://openalex.org/W3098450669","https://openalex.org/W3136753322","https://openalex.org/W3138459719","https://openalex.org/W3138939503","https://openalex.org/W3154226735","https://openalex.org/W3155016995","https://openalex.org/W3155100939","https://openalex.org/W3156428445","https://openalex.org/W3172112724","https://openalex.org/W3185672164","https://openalex.org/W3186717497","https://openalex.org/W3204751774","https://openalex.org/W3212734608","https://openalex.org/W3213512407","https://openalex.org/W4207083104","https://openalex.org/W4210462638","https://openalex.org/W4210597939","https://openalex.org/W4211008702","https://openalex.org/W4225727354","https://openalex.org/W4226411519","https://openalex.org/W4238083723","https://openalex.org/W4239564128","https://openalex.org/W4242741415","https://openalex.org/W4253563042","https://openalex.org/W4285124469","https://openalex.org/W4324007147","https://openalex.org/W4324007167","https://openalex.org/W4381746828","https://openalex.org/W4384155542","https://openalex.org/W4384304916","https://openalex.org/W4385080280","https://openalex.org/W4385080392","https://openalex.org/W4385412391","https://openalex.org/W4388662100","https://openalex.org/W4389887771","https://openalex.org/W4391725258","https://openalex.org/W4391754100","https://openalex.org/W4396723409","https://openalex.org/W4400023201","https://openalex.org/W4400485311","https://openalex.org/W4402595303","https://openalex.org/W4409657120","https://openalex.org/W4411337829","https://openalex.org/W6891666913","https://openalex.org/W6929235716"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4210406818","https://openalex.org/W4306779889","https://openalex.org/W3048554917","https://openalex.org/W3211706803","https://openalex.org/W4382775358","https://openalex.org/W4246942721","https://openalex.org/W3209862047"],"abstract_inverted_index":{"Blockchains":[0],"have":[1],"become":[2],"an":[3],"integrated":[4],"part":[5],"of":[6,38,74,86,96,133,179,190],"our":[7,131],"finance":[8],"infrastructures.":[9],"Being":[10],"monetary":[11],"yet":[12],"fully":[13],"automated,":[14,192],"blockchains":[15],"and":[16,47,53,58,62,89,114,161,176,194],"their":[17],"applications":[18],"are":[19],"unanimously":[20],"deemed":[21],"impracticable":[22],"before":[23],"undergoing":[24],"necessary":[25],"verification.":[26],"This":[27],"monograph":[28],"reviews":[29],"the":[30,60,72,79,84,94,101,104,109,115,123,134,137,177,188],"previous":[31],"attempts":[32],"at":[33],"verifying":[34],"two":[35],"fundamental":[36],"properties":[37],"blockchains:":[39],"correctness":[40,61],"(where":[41,49],"flaws":[42,64,80],"lead":[43],"to":[44,77,126,186],"unintentional":[45],"damages)":[46],"security":[48,63,97],"vulnerabilities":[50],"incur":[51],"attacks":[52],"losses).":[54],"First,":[55],"it":[56,70,92,121],"summarizes":[57,122],"categorizes":[59],"encountered":[65],"by":[66,130],"real-world":[67],"blockchains.":[68],"Second,":[69],"systematizes":[71],"development":[73,189],"formal":[75,181],"verification":[76,150,196],"address":[78],"in":[81,136,153],"blockchains,":[82],"covering":[83],"aspects":[85],"models,":[87],"specifications,":[88,182],"techniques.":[90],"Third,":[91],"unveils":[93],"progress":[95],"analysis":[98,105],"for":[99,173],"mitigating":[100],"flaws,":[102],"unveiling":[103],"principles":[106],"being":[107,112,118],"followed,":[108],"flaw":[110],"oracles":[111],"devised,":[113],"detection":[116],"methods":[117],"used.":[119],"Finally,":[120],"challenges":[124],"remaining":[125],"be":[127],"addressed,":[128],"followed":[129],"vision":[132],"trend":[135],"near":[138],"future.":[139],"Throughout":[140],"this":[141,183],"monograph,":[142],"we":[143],"anticipate":[144],"shedding":[145],"light":[146],"on":[147],"future":[148],"blockchain":[149],"advances,":[151],"especially":[152],"expanding":[154],"its":[155],"applicability,":[156],"making":[157],"specification":[158],"generation":[159],"easier,":[160],"discovering":[162],"previously":[163],"unknown":[164],"vulnerabilities.":[165],"By":[166],"identifying":[167],"gaps":[168],"such":[169],"as":[170],"missing":[171],"tools":[172],"infrastructure-level":[174],"components":[175],"difficulty":[178],"writing":[180],"work":[184],"aims":[185],"motivate":[187],"more":[191],"intelligent,":[193],"practical":[195],"frameworks.":[197]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3}],"updated_date":"2026-08-08T01:25:22.217667","created_date":"2025-10-10T00:00:00"}