{"id":"https://openalex.org/W4417516270","doi":"https://doi.org/10.1007/s10626-025-00418-5","title":"Smart contract denial-of-service analysis using non-blocking verification","display_name":"Smart contract denial-of-service analysis using non-blocking verification","publication_year":2025,"publication_date":"2025-12-01","ids":{"openalex":"https://openalex.org/W4417516270","doi":"https://doi.org/10.1007/s10626-025-00418-5"},"language":"en","primary_location":{"id":"doi:10.1007/s10626-025-00418-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10626-025-00418-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10626-025-00418-5.pdf","source":{"id":"https://openalex.org/S134484881","display_name":"Discrete Event Dynamic Systems","issn_l":"0924-6703","issn":["0924-6703","1573-7594"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10626-025-00418-5.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5104648442","display_name":"Nishant Parekh","orcid":"https://orcid.org/0009-0003-1994-2903"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Nishant Parekh","raw_affiliation_strings":["Department of Electrical Engineering, Chalmers University of Technology, Gothenburg, Sweden"],"raw_orcid":"https://orcid.org/0009-0003-1994-2903","affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Chalmers University of Technology, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088569630","display_name":"Wolfgang Ahrendt","orcid":"https://orcid.org/0000-0002-5671-2555"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Wolfgang Ahrendt","raw_affiliation_strings":["Department of Computer Science, Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden"],"raw_orcid":"https://orcid.org/0000-0002-5671-2555","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Chalmers University of Technology and University of Gothenburg, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017972835","display_name":"Martin Fabian","orcid":"https://orcid.org/0000-0003-1287-9748"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Martin Fabian","raw_affiliation_strings":["Department of Electrical Engineering, Chalmers University of Technology, Gothenburg, Sweden"],"raw_orcid":"https://orcid.org/0000-0003-1287-9748","affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Chalmers University of Technology, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5104648442"],"corresponding_institution_ids":["https://openalex.org/I66862912"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.50223004,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"35","issue":"4","first_page":"355","last_page":"387"},"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.36070001125335693,"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.36070001125335693,"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/T10927","display_name":"Access Control and Trust","score":0.05400000140070915,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.050599999725818634,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7537999749183655},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.7207000255584717},{"id":"https://openalex.org/keywords/design-by-contract","display_name":"Design by contract","score":0.5174000263214111},{"id":"https://openalex.org/keywords/boilerplate-text","display_name":"Boilerplate text","score":0.4503999948501587},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4480000138282776},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.44780001044273376},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.421999990940094},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.4113999903202057}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7537999749183655},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.7207000255584717},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.670199990272522},{"id":"https://openalex.org/C80291951","wikidata":"https://www.wikidata.org/wiki/Q1200691","display_name":"Design by contract","level":5,"score":0.5174000263214111},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.47850000858306885},{"id":"https://openalex.org/C75701414","wikidata":"https://www.wikidata.org/wiki/Q1651672","display_name":"Boilerplate text","level":2,"score":0.4503999948501587},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4480000138282776},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.44780001044273376},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.421999990940094},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.4113999903202057},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.39640000462532043},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.33899998664855957},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.3303000032901764},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.2994999885559082},{"id":"https://openalex.org/C79301358","wikidata":"https://www.wikidata.org/wiki/Q1918846","display_name":"Contract theory","level":2,"score":0.2872999906539917},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.28679999709129333},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.2833999991416931},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.2689000070095062},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.26829999685287476}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10626-025-00418-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10626-025-00418-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10626-025-00418-5.pdf","source":{"id":"https://openalex.org/S134484881","display_name":"Discrete Event Dynamic Systems","issn_l":"0924-6703","issn":["0924-6703","1573-7594"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s10626-025-00418-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10626-025-00418-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10626-025-00418-5.pdf","source":{"id":"https://openalex.org/S134484881","display_name":"Discrete Event Dynamic Systems","issn_l":"0924-6703","issn":["0924-6703","1573-7594"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete Event Dynamic Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321523","display_name":"Chalmers Tekniska H\u00f6gskola","ror":"https://ror.org/040wg7k59"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4417516270.pdf"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W233122475","https://openalex.org/W1480909796","https://openalex.org/W1930392193","https://openalex.org/W2059057465","https://openalex.org/W2060461359","https://openalex.org/W2107308368","https://openalex.org/W2115309705","https://openalex.org/W2128475506","https://openalex.org/W2140197499","https://openalex.org/W2163119090","https://openalex.org/W2604844934","https://openalex.org/W2804791132","https://openalex.org/W2809409966","https://openalex.org/W2970967309","https://openalex.org/W2996885339","https://openalex.org/W3096725945","https://openalex.org/W3198395630","https://openalex.org/W4225922019","https://openalex.org/W4300904057","https://openalex.org/W4307177183","https://openalex.org/W4313201603","https://openalex.org/W4386027682","https://openalex.org/W4399777225","https://openalex.org/W4400744593","https://openalex.org/W4404278090","https://openalex.org/W4407878857"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Smart":[1],"contracts":[2,25,50,217,230,253],"are":[3,26,33,51,122,197,258],"programs":[4],"that":[5,86,112,236,256],"can":[6,79,99,144,184,190,231,238],"enforce":[7],"agreements":[8],"between":[9],"mutually":[10],"distrusting":[11],"parties,":[12],"eliminating":[13],"the":[14,115,166,212,229,251],"need":[15],"for":[16,126],"intermediaries,":[17],"such":[18,73],"as":[19,96],"lawyers":[20],"or":[21,65,108],"banks.":[22],"As":[23],"smart":[24,49,82,90,136,172],"stored":[27],"on":[28,114],"a":[29,59,81,123,131,150,160,171,199,202],"blockchain":[30],"ledger,":[31],"they":[32,237,257],"immutable":[34],"after":[35],"deployment,":[36],"which":[37,78,129],"makes":[38],"assessment":[39],"of":[40,48,67,170,211,250],"their":[41],"correctness":[42],"before":[43],"deployment":[44],"vital.":[45],"Many":[46],"vulnerabilities":[47],"known,":[52],"and":[53,178,206,224,247],"having":[54],"means":[55],"to":[56,63,105,134,147,154,162,174,218,221,242,262],"assess":[57,186],"whether":[58,149,187],"contract":[60,83,137,151,173,200],"is":[61,69,75,152],"prone":[62,220,261],"one":[64],"more":[66],"these":[68],"crucial.":[70],"A":[71],"specific":[72,194],"vulnerability":[74],"denial-of-service":[76],"(DoS),":[77],"make":[80],"unresponsive":[84],"so":[85],"users":[87],"(including":[88],"other":[89],"contracts)":[91],"cannot":[92],"interact":[93],"with":[94],"it":[95],"intended.":[97],"This":[98,157],"lead":[100,104],"(and":[101],"has":[102],"led)":[103],"financial":[106],"losses,":[107],"disrupt":[109],"critical":[110],"services":[111],"rely":[113],"contract.":[116,209],"Extended":[117],"finite":[118],"state":[119],"machines":[120],"(EFSM)":[121],"modelling":[124],"formalism":[125],"discrete-event":[127],"systems,":[128],"provides":[130],"systematic":[132],"approach":[133],"scrutinize":[135],"functionalities.":[138],"With":[139],"careful":[140],"modeling,":[141],"non-blocking":[142,182,248],"verification":[143,183,249],"be":[145,219,232,239,243],"used":[146],"determine":[148],"vulnerable":[153],"DoS":[155,188,222,263],"attacks.":[156,264],"paper":[158],"describes":[159],"methodology":[161],"automatically":[163],"convert":[164],"from":[165],"abstract":[167],"syntax":[168],"tree":[169],"an":[175,207],"EFSM":[176,213],"model,":[177],"then":[179],"shows":[180],"how":[181,228],"indeed":[185,254],"attacks":[189],"cause":[191],"harm.":[192],"Two":[193],"use":[195],"cases":[196],"treated,":[198],"implementing":[201],"(simple)":[203],"on-line":[204],"casino,":[205],"auction":[208],"Verification":[210],"models":[214],"reveals":[215],"both":[216],"attacks,":[223],"counterexamples":[225],"hint":[226],"at":[227],"made":[233],"non-blocking,":[234],"meaning":[235],"corrected":[240,252],"not":[241],"vulnerable.":[244],"Automatic":[245],"conversion":[246],"show":[255],"no":[259],"longer":[260]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-12-20T00:00:00"}