{"id":"https://openalex.org/W7117133659","doi":"https://doi.org/10.1109/brains67003.2025.11302954","title":"Automatic Cross-chain Protocol Pausing with Real-time Conformance Checking","display_name":"Automatic Cross-chain Protocol Pausing with Real-time Conformance Checking","publication_year":2025,"publication_date":"2025-11-18","ids":{"openalex":"https://openalex.org/W7117133659","doi":"https://doi.org/10.1109/brains67003.2025.11302954"},"language":null,"primary_location":{"id":"doi:10.1109/brains67003.2025.11302954","is_oa":false,"landing_page_url":"https://doi.org/10.1109/brains67003.2025.11302954","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 7th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS)","raw_type":"proceedings-article"},"type":"article","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/A5085007476","display_name":"Bruno Mateus","orcid":null},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Bruno Mateus","raw_affiliation_strings":["INESC-ID, Instituto Superior Técnico Universidade de Lisboa,Lisboa,Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INESC-ID, Instituto Superior Técnico Universidade de Lisboa,Lisboa,Portugal","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022808577","display_name":"Andr\u00e9 Augusto","orcid":"https://orcid.org/0000-0001-7020-2087"},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Andr\u00e9 Augusto","raw_affiliation_strings":["INESC-ID, Instituto Superior Técnico Universidade de Lisboa,Lisboa,Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INESC-ID, Instituto Superior Técnico Universidade de Lisboa,Lisboa,Portugal","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025043931","display_name":"Rafael Belchior","orcid":"https://orcid.org/0000-0002-4630-0688"},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Rafael Belchior","raw_affiliation_strings":["Blockdaemon/INESC-ID,Lisboa,Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Blockdaemon/INESC-ID,Lisboa,Portugal","institution_ids":["https://openalex.org/I121345201"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5121212643","display_name":"Andr\u00e9 Vasconcelos","orcid":null},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Andr\u00e9 Vasconcelos","raw_affiliation_strings":["INESC-ID, Instituto Superior Técnico Universidade de Lisboa,Lisboa,Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INESC-ID, Instituto Superior Técnico Universidade de Lisboa,Lisboa,Portugal","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I141596103"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011216560","display_name":"Mariana Correia","orcid":"https://orcid.org/0000-0001-7873-5531"},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Miguel Correia","raw_affiliation_strings":["INESC-ID, Instituto Superior Técnico Universidade de Lisboa,Lisboa,Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INESC-ID, Instituto Superior Técnico Universidade de Lisboa,Lisboa,Portugal","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I141596103"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5085007476"],"corresponding_institution_ids":["https://openalex.org/I121345201","https://openalex.org/I141596103"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.62631645,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"5"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.6480000019073486,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.6480000019073486,"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"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.11429999768733978,"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"}},{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.11190000176429749,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/safeguard","display_name":"Safeguard","score":0.6496999859809875},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5967000126838684},{"id":"https://openalex.org/keywords/interoperability","display_name":"Interoperability","score":0.5809000134468079},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.41179999709129333},{"id":"https://openalex.org/keywords/containment","display_name":"Containment (computer programming)","score":0.3993000090122223},{"id":"https://openalex.org/keywords/asset","display_name":"Asset (computer security)","score":0.3871999979019165},{"id":"https://openalex.org/keywords/vulnerability","display_name":"Vulnerability (computing)","score":0.3653999865055084},{"id":"https://openalex.org/keywords/intrusion-detection-system","display_name":"Intrusion detection system","score":0.35499998927116394}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7056000232696533},{"id":"https://openalex.org/C2780771206","wikidata":"https://www.wikidata.org/wiki/Q3271761","display_name":"Safeguard","level":2,"score":0.6496999859809875},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.6225000023841858},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5967000126838684},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.5809000134468079},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.41179999709129333},{"id":"https://openalex.org/C2777019822","wikidata":"https://www.wikidata.org/wiki/Q390066","display_name":"Containment (computer programming)","level":2,"score":0.3993000090122223},{"id":"https://openalex.org/C76178495","wikidata":"https://www.wikidata.org/wiki/Q4808784","display_name":"Asset (computer security)","level":2,"score":0.3871999979019165},{"id":"https://openalex.org/C95713431","wikidata":"https://www.wikidata.org/wiki/Q631425","display_name":"Vulnerability (computing)","level":2,"score":0.3653999865055084},{"id":"https://openalex.org/C35525427","wikidata":"https://www.wikidata.org/wiki/Q745881","display_name":"Intrusion detection system","level":2,"score":0.35499998927116394},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3544999957084656},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.35100001096725464},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.3142000138759613},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.299699991941452},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.29679998755455017},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.28209999203681946},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.2775000035762787},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.2720000147819519},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.2694000005722046},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.2540999948978424},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.2533999979496002}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/brains67003.2025.11302954","is_oa":false,"landing_page_url":"https://doi.org/10.1109/brains67003.2025.11302954","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 7th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6349120736122131,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1658096163","https://openalex.org/W2491980965","https://openalex.org/W2970471397","https://openalex.org/W2987933512","https://openalex.org/W4244496119","https://openalex.org/W4248198585","https://openalex.org/W4384009646","https://openalex.org/W4389887771","https://openalex.org/W4403300451"],"related_works":[],"abstract_inverted_index":{"The":[0,81],"proliferation":[1],"of":[2],"diverse":[3],"blockchain":[4],"networks":[5],"has":[6],"intensified":[7],"the":[8],"demand":[9],"for":[10,26,91],"interoperability,":[11],"but":[12],"cross-chain":[13,65,97],"bridges":[14],"introduce":[15],"significant":[16],"security":[17],"risks.":[18],"This":[19],"paper":[20],"proposes":[21],"a":[22,33,44,88],"protocol":[23],"protection":[24],"framework":[25],"early":[27],"incident":[28],"detection":[29],"and":[30,64,77,95],"containment":[31],"through":[32],"runtime":[34],"transactions":[35],"conformance":[36],"checking":[37],"pipeline.":[38],"Deviations":[39],"from":[40],"expected":[41],"behavior":[42],"trigger":[43],"pausing":[45,86],"mechanism,":[46],"halting":[47],"operations":[48],"to":[49],"prevent":[50],"incorrect":[51],"state":[52],"propagation":[53],"across":[54],"blockchains.":[55],"Our":[56],"evaluation":[57],"shows":[58],"that":[59],"anomalies":[60],"can":[61],"be":[62],"detected":[63],"asset":[66],"transfers":[67],"paused":[68],"in":[69],"less":[70],"than":[71],"10":[72],"seconds,":[73],"reducing":[74],"attack":[75],"exposure":[76],"preventing":[78],"cascading":[79],"failures.":[80],"results":[82],"highlight":[83],"how":[84],"automated":[85],"is":[87],"critical":[89],"safeguard":[90],"securing":[92],"interoperability":[93],"infrastructures":[94],"strengthening":[96],"ecosystems.":[98]},"counts_by_year":[],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2025-12-24T00:00:00"}