{"id":"https://openalex.org/W4383221522","doi":"https://doi.org/10.1145/3579856.3592826","title":"POSTER: A Common Framework for Resilient and Safe Cyber-Physical System Design","display_name":"POSTER: A Common Framework for Resilient and Safe Cyber-Physical System Design","publication_year":2023,"publication_date":"2023-07-05","ids":{"openalex":"https://openalex.org/W4383221522","doi":"https://doi.org/10.1145/3579856.3592826"},"language":"en","primary_location":{"id":"doi:10.1145/3579856.3592826","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3579856.3592826","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3579856.3592826","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Asia Conference on Computer and Communications Security","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3579856.3592826","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018806127","display_name":"Luyao Niu","orcid":"https://orcid.org/0000-0001-8591-5522"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Luyao Niu","raw_affiliation_strings":["Department of Electrical & Computer Engineering, University of Washington, United States of America"],"affiliations":[{"raw_affiliation_string":"Department of Electrical & Computer Engineering, University of Washington, United States of America","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091549518","display_name":"Abdullah Al Maruf","orcid":"https://orcid.org/0000-0001-5595-9647"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Abdullah Al Maruf","raw_affiliation_strings":["Department of Electrical & Computer Engineering, University of Washington, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical & Computer Engineering, University of Washington, USA","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004774385","display_name":"Andrew Clark","orcid":"https://orcid.org/0000-0002-5868-6186"},"institutions":[{"id":"https://openalex.org/I204465549","display_name":"Washington University in St. Louis","ror":"https://ror.org/01yc7t268","country_code":"US","type":"education","lineage":["https://openalex.org/I204465549"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew Clark","raw_affiliation_strings":["Department of Electrical and Systems Engineering, Washington University in St. Louis, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Systems Engineering, Washington University in St. Louis, USA","institution_ids":["https://openalex.org/I204465549"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039718380","display_name":"J. Sukarno Mertoguno","orcid":"https://orcid.org/0000-0003-0572-3737"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. Sukarno Mertoguno","raw_affiliation_strings":["Georgia Institute of Technology, United States of America"],"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology, United States of America","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079723268","display_name":"Radha Poovendran","orcid":"https://orcid.org/0000-0003-0269-8097"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Radha Poovendran","raw_affiliation_strings":["Department of Electrical & Computer Engineering, University of Washington, United States of America"],"affiliations":[{"raw_affiliation_string":"Department of Electrical & Computer Engineering, University of Washington, United States of America","institution_ids":["https://openalex.org/I201448701"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5018806127"],"corresponding_institution_ids":["https://openalex.org/I201448701"],"apc_list":null,"apc_paid":null,"fwci":0.186,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.45147666,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1025","last_page":"1027"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9926999807357788,"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"}},"topics":[{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9926999807357788,"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"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9855999946594238,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10734","display_name":"Information and Cyber Security","score":0.9850999712944031,"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/computer-science","display_name":"Computer science","score":0.7803125381469727},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.778439998626709},{"id":"https://openalex.org/keywords/resilience","display_name":"Resilience (materials science)","score":0.7674839496612549},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.7400482892990112},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6144615411758423},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5798683762550354},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.49699023365974426},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4861454665660858},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.28584012389183044}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7803125381469727},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.778439998626709},{"id":"https://openalex.org/C2779585090","wikidata":"https://www.wikidata.org/wiki/Q3457762","display_name":"Resilience (materials science)","level":2,"score":0.7674839496612549},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.7400482892990112},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6144615411758423},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5798683762550354},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.49699023365974426},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4861454665660858},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.28584012389183044},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3579856.3592826","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3579856.3592826","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3579856.3592826","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Asia Conference on Computer and Communications Security","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3579856.3592826","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3579856.3592826","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3579856.3592826","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM Asia Conference on Computer and Communications Security","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1523888516","display_name":null,"funder_award_id":"FA9550-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G1633690903","display_name":null,"funder_award_id":"00014-20","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G2336166159","display_name":null,"funder_award_id":"4-20-","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G2345424625","display_name":null,"funder_award_id":"FA9550-20-1-0074,FA9550-22-1-0054","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G36446433","display_name":null,"funder_award_id":"FA9550-20-1","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G5729145195","display_name":null,"funder_award_id":"FA9550-20","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G5809100787","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G6098521345","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G6177982274","display_name":null,"funder_award_id":"N00014-20-1-2636","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G6582112626","display_name":null,"funder_award_id":"FA9550-22-1-0054","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G6934291839","display_name":null,"funder_award_id":"FA9550-20-1-0074","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G6941088213","display_name":null,"funder_award_id":"FA9550-20-1-007","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G7034037648","display_name":null,"funder_award_id":"4-20-1-","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320308533","display_name":"BIRD Foundation","ror":"https://ror.org/0217khz32"},{"id":"https://openalex.org/F4320311397","display_name":"Western Washington University","ror":"https://ror.org/05wn7r715"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4383221522.pdf","grobid_xml":"https://content.openalex.org/works/W4383221522.grobid-xml"},"referenced_works_count":9,"referenced_works":["https://openalex.org/W2154867660","https://openalex.org/W2156093990","https://openalex.org/W2601924125","https://openalex.org/W2798916184","https://openalex.org/W2943459218","https://openalex.org/W2943651313","https://openalex.org/W2959179666","https://openalex.org/W2972350822","https://openalex.org/W4283367824"],"related_works":["https://openalex.org/W17155033","https://openalex.org/W3207760230","https://openalex.org/W1496222301","https://openalex.org/W4312814274","https://openalex.org/W1590307681","https://openalex.org/W2536018345","https://openalex.org/W4285370786","https://openalex.org/W2296488620","https://openalex.org/W2358353312","https://openalex.org/W2353836703"],"abstract_inverted_index":{"Cyber-physical":[0],"systems":[1],"(CPS),":[2],"which":[3,32,174],"are":[4,64,80],"often":[5],"required":[6,198],"to":[7,17,20,39,45,84,100,178,208,219,253],"satisfy":[8],"critical":[9],"properties":[10],"such":[11],"as":[12,145],"safety,":[13],"have":[14,42,159],"been":[15,43],"shown":[16],"be":[18,176,246],"vulnerable":[19],"exploits":[21],"originating":[22],"from":[23],"cyber":[24,52,202],"and/or":[25],"physical":[26,204],"sides.":[27],"Recently,":[28],"novel":[29,75],"resilient":[30,55,76,98,133,150,157],"architectures,":[31],"equip":[33],"CPS":[34,50,79,103,137,226],"with":[35],"capabilities":[36],"of":[37,49,73,93,96,117,129,149,163,182,217,223,228,237,257],"recovering":[38],"normal":[40],"operations,":[41],"developed":[44],"guarantee":[46,209],"the":[47,68,89,115,123,156,179,183,197,201,215,221,235,240,254],"safety":[48,124,193,255],"under":[51,138,168],"attacks.":[53,139],"These":[54],"architectures":[56,99,134,158],"utilize":[57],"distinct":[58],"mechanisms":[59],"involving":[60],"different":[61],"parameters":[62,212,244],"and":[63,70,91,125,171,203,242],"seemingly":[65],"unrelated.":[66],"Currently,":[67],"analysis":[69],"design":[71],"methods":[72],"one":[74,85],"architecture":[77],"for":[78,121,136,200],"not":[81],"readily":[82],"applicable":[83],"another.":[86],"Consequently,":[87],"evaluating":[88],"appropriateness":[90],"effectiveness":[92],"a":[94,101,118,142,146,160,191,250],"set":[95,162],"candidate":[97],"given":[102],"is":[104,154],"currently":[105],"impractical.":[106],"In":[107],"this":[108],"poster,":[109],"we":[110,232],"report":[111],"our":[112],"progress":[113],"on":[114,239],"development":[116,216],"common":[119,147],"framework":[120],"analyzing":[122],"assessing":[126],"recovery":[127,172],"performance":[128],"two":[130],"or":[131],"more":[132],"intended":[135],"We":[140,195],"formulate":[141],"hybrid":[143,185,188],"model":[144,189],"representation":[148],"architectures.":[151],"Our":[152],"insight":[153],"that":[155,234],"shared":[161],"discrete":[164,180],"states,":[165],"including":[166],"vulnerable,":[167],"attack,":[169],"unsafe,":[170],"modes,":[173],"can":[175,245],"mapped":[177],"states":[181],"unifying":[184],"model.":[186],"The":[187,211],"enables":[190],"unified":[192],"analysis.":[194],"parameterize":[196],"behaviors":[199],"components":[205],"in":[206],"order":[207],"safety.":[210],"then":[213],"inform":[214],"metrics":[218],"measure":[220],"resilience":[222],"CPS.":[224,259],"For":[225],"consisting":[227],"multiple":[229],"heterogeneous":[230],"components,":[231],"show":[233],"effect":[236],"interconnections":[238],"spatial":[241],"temporal":[243],"quantified":[247],"efficiently,":[248],"allowing":[249],"compositional":[251],"approach":[252],"verification":[256],"large-scale":[258]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-14T08:43:22.919905","created_date":"2025-10-10T00:00:00"}