{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T08:44:28Z","timestamp":1758271468902,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,8,21]],"date-time":"2017-08-21T00:00:00Z","timestamp":1503273600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,8,21]]},"DOI":"10.1145\/3106237.3106282","type":"proceedings-article","created":{"date-parts":[[2017,8,2]],"date-time":"2017-08-02T19:36:18Z","timestamp":1501702578000},"page":"349-361","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["ARTINALI: dynamic invariant detection for cyber-physical system security"],"prefix":"10.1145","author":[{"given":"Maryam Raiyat","family":"Aliabadi","sequence":"first","affiliation":[{"name":"University of British Columbia, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amita Ajith","family":"Kamath","sequence":"additional","affiliation":[{"name":"National Institute of Technology Karnataka, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien","family":"Gascon-Samson","sequence":"additional","affiliation":[{"name":"University of British Columbia, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karthik","family":"Pattabiraman","sequence":"additional","affiliation":[{"name":"University of British Columbia, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,8,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2011. Smart energy groups home page. http:\/\/smartenergygroups.com. (2011). 2014. Perfume User Manual. http:\/\/people.cs.umass.edu\/~ohmann\/perfume\/. (2014). 2016. Texada User Manual. https:\/\/bitbucket.org\/bestchai\/texada\/. (2016). 2017. ARTINALI Invariant Detector. (2017). https:\/\/github.com\/karthikp-ubc\/ Artinali 2017. The Daikon Invariant Detector User Manual. https:\/\/plse.cs.washington. edu\/daikon\/download\/doc\/daikon.html. (2017).  2011. Smart energy groups home page. http:\/\/smartenergygroups.com. (2011). 2014. Perfume User Manual. http:\/\/people.cs.umass.edu\/~ohmann\/perfume\/. (2014). 2016. Texada User Manual. https:\/\/bitbucket.org\/bestchai\/texada\/. (2016). 2017. ARTINALI Invariant Detector. (2017). https:\/\/github.com\/karthikp-ubc\/ Artinali 2017. The Daikon Invariant Detector User Manual. https:\/\/plse.cs.washington. edu\/daikon\/download\/doc\/daikon.html. (2017)."},{"key":"e_1_3_2_1_2_1","volume-title":"FIDL: A Fault Injection Description Language for Compiler-Based SFI Tools. In International Conference on Computer Safety, Reliability, and Security. Springer, 12\u201323","author":"Aliabadi Maryam Raiyat","year":"2016","unstructured":"Maryam Raiyat Aliabadi and Karthik Pattabiraman . 2016 . FIDL: A Fault Injection Description Language for Compiler-Based SFI Tools. In International Conference on Computer Safety, Reliability, and Security. Springer, 12\u201323 . Maryam Raiyat Aliabadi and Karthik Pattabiraman. 2016. FIDL: A Fault Injection Description Language for Compiler-Based SFI Tools. In International Conference on Computer Safety, Reliability, and Security. Springer, 12\u201323."},{"key":"e_1_3_2_1_3_1","volume-title":"Automatic Invariant Selection for Online Anomaly Detection. In International Conference on Computer Safety, Reliability, and Security. Springer, 172\u2013183","author":"Aniello Leonardo","year":"2016","unstructured":"Leonardo Aniello , Claudio Ciccotelli , Marcello Cinque , Flavio Frattini , Leonardo Querzoni , and Stefano Russo . 2016 . Automatic Invariant Selection for Online Anomaly Detection. In International Conference on Computer Safety, Reliability, and Security. Springer, 172\u2013183 . Leonardo Aniello, Claudio Ciccotelli, Marcello Cinque, Flavio Frattini, Leonardo Querzoni, and Stefano Russo. 2016. Automatic Invariant Selection for Online Anomaly Detection. In International Conference on Computer Safety, Reliability, and Security. Springer, 172\u2013183."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SMARTGRID.2010.5622068"},{"key":"e_1_3_2_1_5_1","volume-title":"USENIX Security Symposium","author":"Checkoway Stephen","year":"2011","unstructured":"Stephen Checkoway , Damon McCoy , Brian Kantor , Danny Anderson , Hovav Shacham , Stefan Savage , Karl Koscher , Alexei Czeskis , Franziska Roesner , Tadayoshi Kohno , and others. 2011 . Comprehensive Experimental Analyses of Automotive Attack Surfaces .. In USENIX Security Symposium . San Francisco. Stephen Checkoway, Damon McCoy, Brian Kantor, Danny Anderson, Hovav Shacham, Stefan Savage, Karl Koscher, Alexei Czeskis, Franziska Roesner, Tadayoshi Kohno, and others. 2011. Comprehensive Experimental Analyses of Automotive Attack Surfaces.. In USENIX Security Symposium. San Francisco."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368127"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882312"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"e_1_3_2_1_9_1","volume-title":"Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB). 21\u201335","author":"Eidson John","year":"2010","unstructured":"John Eidson , Edward A Lee , Slobodan Matic , Sanjit A Seshia , and Jia Zou . 2010 . A time-centric model for cyber-physical applications . In Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB). 21\u201335 . John Eidson, Edward A Lee, Slobodan Matic, Sanjit A Seshia, and Jia Zou. 2010. A time-centric model for cyber-physical applications. In Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB). 21\u201335."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.44"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368096"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2005.166"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/THS.2012.6459914"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696608"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805821"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.34"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the 7th symposium on Operating systems design and implementation. USENIX Association, 161\u2013176","author":"Kremenek Ted","year":"2006","unstructured":"Ted Kremenek , Paul Twohey , Godmar Back , Andrew Ng , and Dawson Engler . 2006 . From uncertainty to belief: Inferring the specification within . In Proceedings of the 7th symposium on Operating systems design and implementation. USENIX Association, 161\u2013176 . Ted Kremenek, Paul Twohey, Godmar Back, Andrew Ng, and Dawson Engler. 2006. From uncertainty to belief: Inferring the specification within. In Proceedings of the 7th symposium on Operating systems design and implementation. USENIX Association, 161\u2013176."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2010.237"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/2819009.2819156"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.71"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Dana Lewis. 2015. Introducing the# OpenAPS project. (2015).  Dana Lewis. 2015. Introducing the# OpenAPS project. (2015).","DOI":"10.1215\/10757163-3339871"},{"key":"e_1_3_2_1_23_1","volume-title":"2011 13th IEEE International Conference on. IEEE, 150\u2013156","author":"Li Chunxiao","year":"2011","unstructured":"Chunxiao Li , Anand Raghunathan , and Niraj K Jha . 2011 . Hijacking an insulin pump: Security attacks and defenses for a diabetes therapy system. In e-Health Networking Applications and Services (Healthcom) , 2011 13th IEEE International Conference on. IEEE, 150\u2013156 . Chunxiao Li, Anand Raghunathan, and Niraj K Jha. 2011. Hijacking an insulin pump: Security attacks and defenses for a diabetes therapy system. In e-Health Networking Applications and Services (Healthcom), 2011 13th IEEE International Conference on. IEEE, 150\u2013156."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368157"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1920261.1920277"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2542049"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/222132.222136"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642988"},{"key":"e_1_3_2_1_29_1","volume-title":"Assessing Invariant Mining Techniques for Cloud-based Utility Computing Systems","author":"Pecchia Antonio","year":"2017","unstructured":"Antonio Pecchia , Stefano Russo , and Santonu Sarkar . 2017. Assessing Invariant Mining Techniques for Cloud-based Utility Computing Systems . IEEE Transactions on Services Computing ( 2017 ). Antonio Pecchia, Stefano Russo, and Santonu Sarkar. 2017. Assessing Invariant Mining Techniques for Cloud-based Utility Computing Systems. IEEE Transactions on Services Computing (2017)."},{"key":"e_1_3_2_1_30_1","volume-title":"Black Hat Conference presentation slides","volume":"2011","author":"Radcliffe Jerome","year":"2011","unstructured":"Jerome Radcliffe . 2011 . Hacking medical devices for fun and insulin: Breaking the human SCADA system . In Black Hat Conference presentation slides , Vol. 2011 . Jerome Radcliffe. 2011. Hacking medical devices for fun and insulin: Breaking the human SCADA system. In Black Hat Conference presentation slides, Vol. 2011."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.12720\/sgce.1.1.22-28"},{"key":"e_1_3_2_1_32_1","unstructured":"Sean W Smith. 2009. Security and privacy challenges in the smart grid. (2009).  Sean W Smith. 2009. Security and privacy challenges in the smart grid. (2009)."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/11941439_114"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2015.17"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2991079.2991085"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89437-7_6"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008096431840"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_30"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2012.010912.00035"}],"event":{"name":"ESEC\/FSE'17: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Paderborn Germany","acronym":"ESEC\/FSE'17"},"container-title":["Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106237.3106282","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3106237.3106282","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:37Z","timestamp":1750217437000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3106237.3106282"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,21]]},"references-count":39,"alternative-id":["10.1145\/3106237.3106282","10.1145\/3106237"],"URL":"https:\/\/doi.org\/10.1145\/3106237.3106282","relation":{},"subject":[],"published":{"date-parts":[[2017,8,21]]},"assertion":[{"value":"2017-08-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}