{"id":"https://openalex.org/W3133486328","doi":"https://doi.org/10.1109/dsc49826.2021.9346270","title":"Smart Markers in Smart Contracts: Enabling Multiway Branching and Merging in Blockchain for Decentralized Runtime Verification","display_name":"Smart Markers in Smart Contracts: Enabling Multiway Branching and Merging in Blockchain for Decentralized Runtime Verification","publication_year":2021,"publication_date":"2021-01-30","ids":{"openalex":"https://openalex.org/W3133486328","doi":"https://doi.org/10.1109/dsc49826.2021.9346270","mag":"3133486328"},"language":"en","primary_location":{"id":"doi:10.1109/dsc49826.2021.9346270","doi":"https://doi.org/10.1109/dsc49826.2021.9346270","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dsc49826.2021.9346270","pdf_url":null,"source":{"id":"https://openalex.org/S7407088050","display_name":"IEEE Conference on Dependable and Secure Computing (DSC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE Conference on Dependable and Secure Computing (DSC)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5069186656","display_name":"Tieming Geng","orcid":"https://orcid.org/0000-0002-6587-6746","observed_orcids":["https://orcid.org/0000-0002-6587-6746"]},"institutions":[{"id":"https://openalex.org/I155781252","display_name":"University of South Carolina","ror":"https://ror.org/02b6qw903","country_code":"US","type":"education","lineage":["https://openalex.org/I155781252"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tieming Geng","raw_affiliation_strings":["University of South Carolina,Department of Computer Science and Engineering,Columbia,South Carolina,USA","Department of Computer Science and Engineering, University of South Carolina, Columbia, South Carolina, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of South Carolina,Department of Computer Science and Engineering,Columbia,South Carolina,USA","institution_ids":["https://openalex.org/I155781252"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, University of South Carolina, Columbia, South Carolina, USA","institution_ids":["https://openalex.org/I155781252"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042072991","display_name":"Laurent Njilla","orcid":"https://orcid.org/0000-0001-8902-7418","observed_orcids":["https://orcid.org/0000-0001-8902-7418"]},"institutions":[{"id":"https://openalex.org/I1280414376","display_name":"United States Air Force Research Laboratory","ror":"https://ror.org/02e2egq70","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280414376","https://openalex.org/I1330347796","https://openalex.org/I4210102105","https://openalex.org/I4389425425"]},{"id":"https://openalex.org/I4388482671","display_name":"Rome Laboratory","ror":"https://ror.org/02q9pw720","country_code":"US","type":"government","lineage":["https://openalex.org/I1280414376","https://openalex.org/I1330347796","https://openalex.org/I4210102105","https://openalex.org/I4388482671","https://openalex.org/I4389425425"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Laurent Njilla","raw_affiliation_strings":["Air Force Research Laboratory, Rome, New York, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Air Force Research Laboratory, Rome, New York, USA","institution_ids":["https://openalex.org/I1280414376","https://openalex.org/I4388482671"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056673342","display_name":"Chin\u2010Tser Huang","orcid":"https://orcid.org/0000-0003-3983-972X","observed_orcids":["https://orcid.org/0000-0003-3983-972X"]},"institutions":[{"id":"https://openalex.org/I155781252","display_name":"University of South Carolina","ror":"https://ror.org/02b6qw903","country_code":"US","type":"education","lineage":["https://openalex.org/I155781252"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chin-Tser Huang","raw_affiliation_strings":["University of South Carolina,Department of Computer Science and Engineering,Columbia,South Carolina,USA","Department of Computer Science and Engineering, University of South Carolina, Columbia, South Carolina, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of South Carolina,Department of Computer Science and Engineering,Columbia,South Carolina,USA","institution_ids":["https://openalex.org/I155781252"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, University of South Carolina, Columbia, South Carolina, USA","institution_ids":["https://openalex.org/I155781252"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.6833,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.85118794,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"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.9976000189781189,"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.9976000189781189,"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/T13913","display_name":"Blockchain Technology in Education and Learning","score":0.0006000000284984708,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.00039999998989515007,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/smart-contracts","display_name":"smart contracts","score":0.9350000023841858},{"id":"https://openalex.org/keywords/blockchain","display_name":"blockchain","score":0.9610000252723694},{"id":"https://openalex.org/keywords/task-dependencies","display_name":"task dependencies","score":0.6880000233650208},{"id":"https://openalex.org/keywords/accountability","display_name":"accountability","score":0.5149999856948853},{"id":"https://openalex.org/keywords/distributed-systems","display_name":"distributed systems","score":0.7139999866485596}],"concepts":[{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.84432053565979},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8145366907119751},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.6043800115585327},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5550664067268372},{"id":"https://openalex.org/C206175624","wikidata":"https://www.wikidata.org/wiki/Q595731","display_name":"Branching (polymer chemistry)","level":2,"score":0.5447370409965515},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.5091652274131775},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4384947121143341},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.43186965584754944},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4145437479019165},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.39667946100234985},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.25982731580734253},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.20546036958694458},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17824292182922363},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.10632538795471191},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/dsc49826.2021.9346270","doi":"https://doi.org/10.1109/dsc49826.2021.9346270","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dsc49826.2021.9346270","pdf_url":null,"source":{"id":"https://openalex.org/S7407088050","display_name":"IEEE Conference on Dependable and Secure Computing (DSC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 IEEE Conference on Dependable and Secure Computing (DSC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W893234787","https://openalex.org/W2101623441","https://openalex.org/W2182112800","https://openalex.org/W2584364557","https://openalex.org/W2604096638","https://openalex.org/W2606467208","https://openalex.org/W2784523327","https://openalex.org/W2792171464","https://openalex.org/W2807535079","https://openalex.org/W2807801894","https://openalex.org/W2889944408","https://openalex.org/W2905867785","https://openalex.org/W2914790213","https://openalex.org/W2919877828","https://openalex.org/W2963983602","https://openalex.org/W3019441097","https://openalex.org/W3044842064","https://openalex.org/W4229815470","https://openalex.org/W4248175462"],"related_works":["https://openalex.org/W4313162765","https://openalex.org/W2919877828","https://openalex.org/W3094660891","https://openalex.org/W7208837372","https://openalex.org/W4400566563","https://openalex.org/W3008773310","https://openalex.org/W2899593607","https://openalex.org/W2901412811","https://openalex.org/W7207866800","https://openalex.org/W7211919429"],"abstract_inverted_index":{"The":[0,123],"increasing":[1],"complexity":[2],"of":[3,19,29,47,56,79,93,115,125,131,140],"modern":[4],"hardware":[5],"and":[6,73,107,120,134,145],"software":[7],"platform":[8],"along":[9],"with":[10],"the":[11,27,39,45,57,62,113,141],"imperative":[12],"assurance":[13],"on":[14],"stability":[15],"deems":[16],"runtime":[17,50],"verification":[18,32,51,78],"task":[20],"fulfillment":[21,114],"necessary":[22],"in":[23,100,109],"distributed":[24],"systems.":[25],"Distributing":[26],"burden":[28],"a":[30,90,101,138],"central":[31],"monitor":[33],"to":[34,103,111],"individual":[35],"devices":[36],"could":[37],"improve":[38],"efficiency.":[40],"Our":[41],"previous":[42],"work":[43],"shows":[44],"possibility":[46],"achieving":[48],"decentralized":[49],"by":[52],"incorporating":[53],"some":[54],"mechanisms":[55],"blockchain":[58,69,102],"technology":[59,70],"for":[60],"locating":[61],"accountability":[63],"when":[64],"error":[65],"occurs.":[66],"However,":[67],"traditional":[68],"disallows":[71],"branching":[72,106],"hence":[74],"does":[75],"not":[76],"support":[77],"tasks":[80,116],"which":[81],"involves":[82],"multiway":[83,105],"dependencies.":[84,122],"In":[85],"this":[86],"paper,":[87],"we":[88],"introduce":[89],"novel":[91],"approach":[92],"smart":[94,126,142],"marker":[95,127,143],"that":[96,117],"can":[97],"be":[98],"included":[99],"enable":[104],"merging":[108],"order":[110],"verify":[112],"involve":[118],"one-to-many":[119],"many-to-one":[121],"design":[124],"satisfies":[128],"three":[129],"requirements":[130],"recognizability,":[132],"compatibility,":[133],"authenticability.":[135],"We":[136],"implement":[137],"prototype":[139],"scheme":[144],"analyze":[146],"its":[147],"performance.":[148]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":3}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2021-03-01T00:00:00"}