{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,15]],"date-time":"2026-06-15T04:51:12Z","timestamp":1781499072317,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T00:00:00Z","timestamp":1585526400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"ICICS Support"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,3,30]]},"DOI":"10.1145\/3341105.3374221","type":"proceedings-article","created":{"date-parts":[[2020,3,29]],"date-time":"2020-03-29T12:13:52Z","timestamp":1585484032000},"page":"227-229","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["ReLUSyn: Synthesizing stealthy attacks for deep neural network-based safety-critical cyber-physical systems"],"prefix":"10.1145","author":[{"given":"Aarti","family":"Kashyap","sequence":"first","affiliation":[{"name":"University of British Columbia, Vancouver, British Columbia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,3,30]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 1st Annual Conference on Robot Learning. 1--16","author":"Dosovitskiy Alexey","year":"2017","unstructured":"Alexey Dosovitskiy , German Ros , Felipe Codevilla , Antonio Lopez , and Vladlen Koltun . 2017 . CARLA: An Open Urban Driving Simulator . In Proceedings of the 1st Annual Conference on Robot Learning. 1--16 . Alexey Dosovitskiy, German Ros, Felipe Codevilla, Antonio Lopez, and Vladlen Koltun. 2017. CARLA: An Open Urban Driving Simulator. In Proceedings of the 1st Annual Conference on Robot Learning. 1--16."},{"key":"e_1_3_2_1_2_1","volume-title":"Computational Methods in Systems Biology, Milan \u010ce\u0161ka and David \u0160afr\u00e1nek (Eds.)","author":"Dutta Souradeep","unstructured":"Souradeep Dutta , Taisa Kushner , and Sriram Sankaranarayanan . 2018. Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks . In Computational Methods in Systems Biology, Milan \u010ce\u0161ka and David \u0160afr\u00e1nek (Eds.) . Springer International Publishing , Cham , 183--202. Souradeep Dutta, Taisa Kushner, and Sriram Sankaranarayanan. 2018. Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks. In Computational Methods in Systems Biology, Milan \u010ce\u0161ka and David \u0160afr\u00e1nek (Eds.). Springer International Publishing, Cham, 183--202."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Souradeep Dutta Taisa Kushner and Sriram Sankaranarayanan. 2018. Robust Data-Driven Control of Artificial Pancreas Systems using Neural Networks. In Computational Methods in Systems Biology (Lecture Notes In Computer Science) Vol. tbd. Springer-Verlag tbd.  Souradeep Dutta Taisa Kushner and Sriram Sankaranarayanan. 2018. Robust Data-Driven Control of Artificial Pancreas Systems using Neural Networks. In Computational Methods in Systems Biology (Lecture Notes In Computer Science) Vol. tbd. Springer-Verlag tbd.","DOI":"10.1007\/978-3-319-99429-1_11"},{"key":"e_1_3_2_1_4_1","unstructured":"Matteo Fischetti and Jason Jo. 2017. Deep Neural Networks as 0--1 Mixed Integer Linear Programs: A Feasibility Study. arXiv:cs.LG\/1712.06174  Matteo Fischetti and Jason Jo. 2017. Deep Neural Networks as 0--1 Mixed Integer Linear Programs: A Feasibility Study. arXiv:cs.LG\/1712.06174"},{"key":"e_1_3_2_1_5_1","volume-title":"Article arXiv:1406.2661 (Jun","author":"Goodfellow Ian J.","year":"2014","unstructured":"Ian J. Goodfellow , Jean Pouget-Abadie , Mehdi Mirza , Bing Xu , David Warde-Farley , Sherjil Ozair , Aaron Courville , and Yoshua Bengio . 2014. Generative Adversarial Networks. arXiv e-prints , Article arXiv:1406.2661 (Jun 2014 ), arXiv:1406.2661 pages. arXiv:stat.ML\/1406.2661 Ian J. Goodfellow, Jean Pouget-Abadie, Mehdi Mirza, Bing Xu, David Warde-Farley, Sherjil Ozair, Aaron Courville, and Yoshua Bengio. 2014. Generative Adversarial Networks. arXiv e-prints, Article arXiv:1406.2661 (Jun 2014), arXiv:1406.2661 pages. arXiv:stat.ML\/1406.2661"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2161241"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5718158"},{"key":"e_1_3_2_1_8_1","volume-title":"Intriguing properties of neural networks. CoRR abs\/1312.6199","author":"Szegedy Christian","year":"2013","unstructured":"Christian Szegedy , Wojciech Zaremba , Ilya Sutskever , Joan Bruna , Dumitru Erhan , Ian J. Goodfellow , and Rob Fergus . 2013. Intriguing properties of neural networks. CoRR abs\/1312.6199 ( 2013 ). Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian J. Goodfellow, and Rob Fergus. 2013. Intriguing properties of neural networks. CoRR abs\/1312.6199 (2013)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cmet.2019.07.003"}],"event":{"name":"SAC '20: The 35th ACM\/SIGAPP Symposium on Applied Computing","location":"Brno Czech Republic","acronym":"SAC '20","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 35th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341105.3374221","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3341105.3374221","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:24Z","timestamp":1750199904000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341105.3374221"}},"subtitle":["student research abstract"],"short-title":[],"issued":{"date-parts":[[2020,3,30]]},"references-count":9,"alternative-id":["10.1145\/3341105.3374221","10.1145\/3341105"],"URL":"https:\/\/doi.org\/10.1145\/3341105.3374221","relation":{},"subject":[],"published":{"date-parts":[[2020,3,30]]},"assertion":[{"value":"2020-03-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}