{"id":"https://openalex.org/W3204781893","doi":"https://doi.org/10.1109/csf54842.2022.9919660","title":"Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems","display_name":"Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems","publication_year":2022,"publication_date":"2022-08-01","ids":{"openalex":"https://openalex.org/W3204781893","doi":"https://doi.org/10.1109/csf54842.2022.9919660","mag":"3204781893"},"language":"en","primary_location":{"id":"doi:10.1109/csf54842.2022.9919660","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csf54842.2022.9919660","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE 35th Computer Security Foundations Symposium (CSF)","raw_type":"proceedings-article"},"type":"preprint","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/A5086495367","display_name":"Lisa Oakley","orcid":null},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]},{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Lisa Oakley","raw_affiliation_strings":["Khoury College of Computer Sciences Northeastern University,Boston,USA","Khoury College of Computer Sciences Northeastern University, Boston, USA"],"affiliations":[{"raw_affiliation_string":"Khoury College of Computer Sciences Northeastern University,Boston,USA","institution_ids":["https://openalex.org/I12912129"]},{"raw_affiliation_string":"Khoury College of Computer Sciences Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129","https://openalex.org/I111088046"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035574749","display_name":"Alina Oprea","orcid":"https://orcid.org/0000-0002-4979-5292"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]},{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alina Oprea","raw_affiliation_strings":["Khoury College of Computer Sciences Northeastern University,Boston,USA","Khoury College of Computer Sciences Northeastern University, Boston, USA"],"affiliations":[{"raw_affiliation_string":"Khoury College of Computer Sciences Northeastern University,Boston,USA","institution_ids":["https://openalex.org/I12912129"]},{"raw_affiliation_string":"Khoury College of Computer Sciences Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129","https://openalex.org/I111088046"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080042319","display_name":"Stavros Tripakis","orcid":"https://orcid.org/0000-0002-1777-493X"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]},{"id":"https://openalex.org/I111088046","display_name":"Boston University","ror":"https://ror.org/05qwgg493","country_code":"US","type":"education","lineage":["https://openalex.org/I111088046"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stavros Tripakis","raw_affiliation_strings":["Khoury College of Computer Sciences Northeastern University,Boston,USA","Khoury College of Computer Sciences Northeastern University, Boston, USA"],"affiliations":[{"raw_affiliation_string":"Khoury College of Computer Sciences Northeastern University,Boston,USA","institution_ids":["https://openalex.org/I12912129"]},{"raw_affiliation_string":"Khoury College of Computer Sciences Northeastern University, Boston, USA","institution_ids":["https://openalex.org/I12912129","https://openalex.org/I111088046"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5086495367"],"corresponding_institution_ids":["https://openalex.org/I12912129","https://openalex.org/I111088046"],"apc_list":null,"apc_paid":null,"fwci":0.39159764,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.58425959,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"2529","issue":null,"first_page":"380","last_page":"395"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9986000061035156,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9986000061035156,"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/T10142","display_name":"Formal Methods in Verification","score":0.9847999811172485,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9751999974250793,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.7501000165939331},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7253437638282776},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.7134148478507996},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.6508188843727112},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.6143526434898376},{"id":"https://openalex.org/keywords/adversarial-system","display_name":"Adversarial system","score":0.5053372979164124},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5043922662734985},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.48358720541000366},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.4686312675476074},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.43932777643203735},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.39349791407585144},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2511862516403198},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.2362823188304901},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17594879865646362}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7501000165939331},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7253437638282776},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.7134148478507996},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.6508188843727112},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.6143526434898376},{"id":"https://openalex.org/C37736160","wikidata":"https://www.wikidata.org/wiki/Q1801315","display_name":"Adversarial system","level":2,"score":0.5053372979164124},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5043922662734985},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.48358720541000366},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.4686312675476074},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.43932777643203735},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.39349791407585144},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2511862516403198},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2362823188304901},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17594879865646362},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/csf54842.2022.9919660","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csf54842.2022.9919660","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE 35th Computer Security Foundations Symposium (CSF)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7400000095367432,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G2041099015","display_name":null,"funder_award_id":"CNS-1717634,CNS-1801546","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":65,"referenced_works":["https://openalex.org/W9657784","https://openalex.org/W754964377","https://openalex.org/W1482727770","https://openalex.org/W1498432697","https://openalex.org/W1516849933","https://openalex.org/W1539216098","https://openalex.org/W1559540003","https://openalex.org/W1574505635","https://openalex.org/W1581707941","https://openalex.org/W1600556058","https://openalex.org/W1673923490","https://openalex.org/W1731920616","https://openalex.org/W1862398452","https://openalex.org/W1892040981","https://openalex.org/W1898469110","https://openalex.org/W1965878388","https://openalex.org/W1972203711","https://openalex.org/W2000865099","https://openalex.org/W2025687460","https://openalex.org/W2030895696","https://openalex.org/W2035668577","https://openalex.org/W2075813176","https://openalex.org/W2092954887","https://openalex.org/W2095602520","https://openalex.org/W2098597080","https://openalex.org/W2120088319","https://openalex.org/W2145495721","https://openalex.org/W2150990538","https://openalex.org/W2157807654","https://openalex.org/W2177617373","https://openalex.org/W2284340808","https://openalex.org/W2467435924","https://openalex.org/W2593267253","https://openalex.org/W2594877703","https://openalex.org/W2604347212","https://openalex.org/W2792114177","https://openalex.org/W2794609696","https://openalex.org/W2798356176","https://openalex.org/W2803974723","https://openalex.org/W2921681895","https://openalex.org/W2936674544","https://openalex.org/W2949625806","https://openalex.org/W2963307044","https://openalex.org/W2963735478","https://openalex.org/W2963857521","https://openalex.org/W2964153729","https://openalex.org/W2964231903","https://openalex.org/W2967595108","https://openalex.org/W3003257820","https://openalex.org/W3035170447","https://openalex.org/W3099141145","https://openalex.org/W3103145119","https://openalex.org/W3105057307","https://openalex.org/W3105155462","https://openalex.org/W4237502884","https://openalex.org/W4287660132","https://openalex.org/W6600428322","https://openalex.org/W6637162671","https://openalex.org/W6638944184","https://openalex.org/W6682311009","https://openalex.org/W6685701051","https://openalex.org/W6733977634","https://openalex.org/W6751161574","https://openalex.org/W6751437432","https://openalex.org/W6760230738"],"related_works":["https://openalex.org/W2502115930","https://openalex.org/W2482350142","https://openalex.org/W2379651310","https://openalex.org/W2113019827","https://openalex.org/W1541249122","https://openalex.org/W2413828414","https://openalex.org/W2367222340","https://openalex.org/W187740018","https://openalex.org/W2162286586","https://openalex.org/W4255368532"],"abstract_inverted_index":{"Probabilistic":[0],"model":[1,178,199],"checking":[2,179],"is":[3,243],"a":[4,61,106,119,191],"useful":[5],"technique":[6],"for":[7,64,83,109,220],"specifying":[8,110],"and":[9,18,30,41,89,112,159,175,190,237,253,264],"verifying":[10,84],"properties":[11,88],"of":[12,32,52,121,193,227,234,250],"stochastic":[13,188],"systems":[14,68],"including":[15],"randomized":[16],"protocols":[17,189],"reinforcement":[19],"learning":[20],"models.":[21,116],"However,":[22],"these":[23,170],"methods":[24,82],"rely":[25],"on":[26,80,186],"the":[27,139,213,225,232,248],"assumed":[28],"structure":[29],"probabilities":[31,242],"certain":[33],"system":[34,54,129,257],"transitions.":[35],"These":[36],"assumptions":[37],"may":[38,42],"be":[39,44],"incorrect,":[40],"even":[43],"violated":[45],"by":[46,132,255],"an":[47,133,200,204,208],"adversary":[48],"who":[49],"gains":[50],"control":[51],"some":[53],"components.":[55],"In":[56,224],"this":[57],"paper,":[58],"we":[59],"develop":[60],"formal":[62],"framework":[63,79,104],"adversarial":[65,115,148,151],"robustness":[66,149,152],"in":[67,98,203,217],"modeled":[69],"as":[70,207],"discrete":[71],"time":[72],"Markov":[73,99],"chains":[74],"(DTMCs).":[75],"We":[76,117,143,164,181,210,246],"base":[77],"our":[78,184,251],"existing":[81],"probabilistic":[85,177],"temporal":[86],"logic":[87],"extend":[90],"it":[91],"to":[92,169],"include":[93],"deterministic,":[94],"memoryless":[95],"policies":[96],"acting":[97,202],"decision":[100],"processes":[101],"(MDPs).":[102],"Our":[103],"includes":[105],"flexible":[107],"approach":[108],"structure-preserving":[111,114],"non":[113],"outline":[118],"class":[120],"threat":[122,262],"models":[123],"under":[124],"which":[125,198],"adversaries":[126],"can":[127],"perturb":[128],"transitions,":[130],"constrained":[131],"<tex":[134,155],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[135,156],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$\\varepsilon$</tex>":[136],"ball":[137],"around":[138],"original":[140],"transition":[141],"probabilities.":[142],"define":[144],"three":[145,171],"main":[146],"DTMC":[147],"problems:":[150],"verification,":[153],"maximal":[154],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">$\\delta$</tex>":[157],"synthesis,":[158],"worst":[160],"case":[161,196,226,265],"attack":[162],"synthesis.":[163],"present":[165],"two":[166,187],"optimization-based":[167],"solutions":[168,185,254],"problems,":[172],"leveraging":[173],"traditional":[174],"parametric":[176,214],"techniques.":[180],"then":[182],"evaluate":[183],"collection":[192],"Grid":[194],"World":[195],"studies,":[197],"agent":[201],"environment":[205],"described":[206],"MDP.":[209],"find":[211],"that":[212],"solution":[215],"results":[216],"fast":[218],"computation":[219],"small":[221],"parameter":[222],"spaces.":[223],"less":[228],"restrictive":[229],"(stronger)":[230],"adversaries,":[231],"number":[233],"parameters":[235],"increases,":[236],"directly":[238],"computing":[239],"property":[240],"satisfaction":[241],"more":[244],"scalable.":[245],"demonstrate":[247],"usefulness":[249],"definitions":[252],"comparing":[256],"outcomes":[258],"over":[259],"various":[260],"properties,":[261],"models,":[263],"studies.":[266]},"counts_by_year":[{"year":2024,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}