{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:24:40Z","timestamp":1740101080043,"version":"3.37.3"},"reference-count":50,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-001"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation under NSF SaTC","doi-asserted-by":"publisher","award":["CNS-1717634,CNS-1801546"],"award-info":[{"award-number":["CNS-1717634,CNS-1801546"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,8]]},"DOI":"10.1109\/csf54842.2022.9919660","type":"proceedings-article","created":{"date-parts":[[2022,11,4]],"date-time":"2022-11-04T01:29:20Z","timestamp":1667525360000},"page":"380-395","source":"Crossref","is-referenced-by-count":1,"title":["Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems"],"prefix":"10.1109","author":[{"given":"Lisa","family":"Oakley","sequence":"first","affiliation":[{"name":"Khoury College of Computer Sciences Northeastern University,Boston,USA"}]},{"given":"Alina","family":"Oprea","sequence":"additional","affiliation":[{"name":"Khoury College of Computer Sciences Northeastern University,Boston,USA"}]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[{"name":"Khoury College of Computer Sciences Northeastern University,Boston,USA"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01090-4_10"},{"key":"ref12","article-title":"Parameter synthesis for markov models","author":"junges","year":"2019","journal-title":"ArXiv Preprint"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45605-8_11"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2007.01.004"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46520-3_4"},{"key":"ref10","first-page":"17","author":"winkler","year":"2019","journal-title":"On the Complexity of Reachability in Parametric Markov Decision Processes"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-55860-377-6.50052-9"},{"journal-title":"Formal methods for the analysis of wireless network protocols","year":"2011","author":"fruth","key":"ref16"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1038\/s41592-019-0686-2"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_26"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2011.01.001"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-006-0015-2"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0146-x"},{"key":"ref48","first-page":"16","author":"puggelli","year":"0","journal-title":"Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1287\/opre.1050.0216"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/210332.210339"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00039-9"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20398-5_12"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2004.1347512"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426174"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_56"},{"key":"ref7","first-page":"592","article-title":"A storm is coming: A modern probabilistic model checker","author":"dehnert","year":"2017","journal-title":"Computer Aided Verification"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_13"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31862-0_21"},{"key":"ref3","first-page":"194","article-title":"Verifying randomized Byzantine agreement","volume":"2529","author":"kwiatkowska","year":"0","journal-title":"Proc Formal Techniques for Networked and Distributed Systems (FORTE'02) ser LNCS"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-50086-3_6"},{"journal-title":"Demonstration of TAMAA","year":"2020","author":"gu","key":"ref5"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409753"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-018-09509-5"},{"key":"ref34","first-page":"2494","article-title":"Verifiable reinforcement learning via policy extraction","author":"bastani","year":"2018","journal-title":"Advances in Neural IInformation Processing Systems"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44584-6_16"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314614"},{"key":"ref31","first-page":"1599","article-title":"Formal security analysis of neural networks using symbolic intervals","author":"wang","year":"0","journal-title":"27th USENIX Security Symp"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3341216.3342218"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00058"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-006-0014-x"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-012-0227-6"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_32"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568256"},{"key":"ref24","first-page":"312","article-title":"iscas m c: a web-based probabilistic model checker","author":"hahn","year":"0","journal-title":"International Symposium on Formal Methods"},{"key":"ref23","article-title":"Intriguing properties of neural networks","author":"szegedy","year":"2013","journal-title":"ArXiv Preprint"},{"key":"ref26","article-title":"Parameter Synthesis for Markov Models","author":"junges","year":"2019","journal-title":"ArXiv"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_30"},{"key":"ref20","first-page":"585","article-title":"PRISM 4.0: Verification of probabilistic real-time systems","volume":"6806","author":"kwiatkowska","year":"0","journal-title":"Proc 23rd International Conference on Computer Aided Verification (CAV'11) Ser LNCS"},{"key":"ref22","first-page":"387","article-title":"Evasion attacks against machine learning at test time","author":"biggio","year":"0","journal-title":"Proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref21"},{"journal-title":"Py4j - a bridge between python and java","year":"2021","key":"ref28"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185648"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.49"}],"event":{"name":"2022 IEEE 35th Computer Security Foundations Symposium (CSF)","start":{"date-parts":[[2022,8,7]]},"location":"Haifa, Israel","end":{"date-parts":[[2022,8,10]]}},"container-title":["2022 IEEE 35th Computer Security Foundations Symposium (CSF)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9919409\/9919636\/09919660.pdf?arnumber=9919660","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T23:26:43Z","timestamp":1699486003000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9919660\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8]]},"references-count":50,"URL":"https:\/\/doi.org\/10.1109\/csf54842.2022.9919660","relation":{},"subject":[],"published":{"date-parts":[[2022,8]]}}}