{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:08Z","timestamp":1750220648475,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,12,10]],"date-time":"2019-12-10T00:00:00Z","timestamp":1575936000000},"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":[[2019,12,10]]},"DOI":"10.1145\/3372318.3372325","type":"proceedings-article","created":{"date-parts":[[2019,12,23]],"date-time":"2019-12-23T20:55:31Z","timestamp":1577134531000},"page":"60-69","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["ICS-SEA"],"prefix":"10.1145","author":[{"given":"Eyasu Getahun","family":"Chekole","sequence":"first","affiliation":[{"name":"Institute for Infocomm Research, A*STAR, Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guo","family":"Huaqun","sequence":"additional","affiliation":[{"name":"Institute for Infocomm Research, A*STAR, Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,12,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Alessandro Armando Roberto Carbone Eyasu Getahun Chekole Claudio Petrazzuolo Andrea Ranalli and Silvio Ranise. 2014. Selective Release of Smart Metering Data in Multi-domain Smart Grids. In Smart Grid Security Jorge Cuellar (Ed.). Springer International Publishing Cham 48--62.  Alessandro Armando Roberto Carbone Eyasu Getahun Chekole Claudio Petrazzuolo Andrea Ranalli and Silvio Ranise. 2014. Selective Release of Smart Metering Data in Multi-domain Smart Grids. In Smart Grid Security Jorge Cuellar (Ed.). Springer International Publishing Cham 48--62.","DOI":"10.1007\/978-3-319-10329-7_4"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2613087.2613109"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3196494.3196540"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"John Henry Castellanos Daniele Antonioli Nils Ole Tippenhauer and Mart\u00edn Ochoa. 2017. Legacy-Compliant Data Authentication for Industrial Control System Traffic. In Applied Cryptography and Network Security.  John Henry Castellanos Daniele Antonioli Nils Ole Tippenhauer and Mart\u00edn Ochoa. 2017. Legacy-Compliant Data Authentication for Industrial Control System Traffic. In Applied Cryptography and Network Security.","DOI":"10.1007\/978-3-319-61204-1_33"},{"volume-title":"SECPRE 2017","year":"2017","author":"Chekole E. G.","key":"e_1_3_2_1_5_1"},{"volume-title":"Proceedings of the International Symposium on Engineering Secure Software and Systems (ESSoS'18)","author":"Chekole E. G.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","unstructured":"Eyasu Getahun Chekole Unnikrishnan Cheramangalath Sudipta Chattopadhyay Mart\u00edn Ochoa and Huaqun Guo. 2018. Taming the War in Memory: A Resilient Mitigation Strategy Against Memory Safety Attacks in CPS. CoRR abs\/1809.07477 (2018). arXiv:1809.07477 http:\/\/arxiv.org\/abs\/1809.07477  Eyasu Getahun Chekole Unnikrishnan Cheramangalath Sudipta Chattopadhyay Mart\u00edn Ochoa and Huaqun Guo. 2018. Taming the War in Memory: A Resilient Mitigation Strategy Against Memory Safety Attacks in CPS. CoRR abs\/1809.07477 (2018). arXiv:1809.07477 http:\/\/arxiv.org\/abs\/1809.07477"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2016.2548426"},{"volume-title":"Proceedings of the 15th ACM Conference on Computer and Communications Security (CCS'08)","author":"Francillon A.","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2019.8917211"},{"volume-title":"2017 IEEE 56th Annual Conference on Decision and Control (CDC). 4224--4230","author":"G\u00f3es R. M.","key":"e_1_3_2_1_11_1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2068816.2068856"},{"key":"e_1_3_2_1_13_1","unstructured":"iTrust. 2017. Secure Water Treatment (SWaT) testbed. https:\/\/itrust.sutd.edu.sg\/research\/testbeds\/secure-water-treatment-swat\/.  iTrust. 2017. Secure Water Treatment (SWaT) testbed. https:\/\/itrust.sutd.edu.sg\/research\/testbeds\/secure-water-treatment-swat\/."},{"key":"e_1_3_2_1_14_1","unstructured":"KASAN. 2018. The Kernel Address Sanitizer. https:\/\/www.kernel.org\/doc\/html\/v4.12\/dev-tools\/kasan.html.  KASAN. 2018. The Kernel Address Sanitizer. https:\/\/www.kernel.org\/doc\/html\/v4.12\/dev-tools\/kasan.html."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Amit Kleinmann Ori Amichay Avishai Wool David Tenenbaum Ofer Bar and Leonid Lev. 2018. Stealthy Deception Attacks Against SCADA Systems. In Computer Security Sokratis K. Katsikas Fr\u00e9d\u00e9ric Cuppens Nora Cuppens Costas Lambrinoudakis Christos Kalloniatis John Mylopoulos Annie Ant\u00f3n and Stefanos Gritzalis (Eds.). Springer International Publishing Cham 93--109.  Amit Kleinmann Ori Amichay Avishai Wool David Tenenbaum Ofer Bar and Leonid Lev. 2018. Stealthy Deception Attacks Against SCADA Systems. In Computer Security Sokratis K. Katsikas Fr\u00e9d\u00e9ric Cuppens Nora Cuppens Costas Lambrinoudakis Christos Kalloniatis John Mylopoulos Annie Ant\u00f3n and Stefanos Gritzalis (Eds.). Springer International Publishing Cham 93--109.","DOI":"10.1007\/978-3-319-72817-9_7"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"G. C. Necula J. Condit M. Harren S. McPeak and W. Weimer. 2005. CCured: Type-safe Retrofitting of Legacy Software. ACM Trans. Program. Lang. Syst. (2005).  G. C. Necula J. Condit M. Harren S. McPeak and W. Weimer. 2005. CCured: Type-safe Retrofitting of Legacy Software. ACM Trans. Program. Lang. Syst. (2005).","DOI":"10.1145\/1065887.1065892"},{"key":"e_1_3_2_1_17_1","unstructured":"OpenPLC. 2018. OpenPLC. http:\/\/www.openplcproject.com\/.  OpenPLC. 2018. OpenPLC. http:\/\/www.openplcproject.com\/."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/359340.359342"},{"key":"e_1_3_2_1_19_1","unstructured":"ScadaBR. 2018. ScadaBR. http:\/\/www.scadabr.com.br\/.  ScadaBR. 2018. ScadaBR. http:\/\/www.scadabr.com.br\/."},{"volume-title":"Proceedings of the USENIX Annual Technical Conference (USENIX ATC '12)","author":"Serebryany K.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"K. Z. Snow F. Monrose L. Davi A. Dmitrienko C. Liebchen and A.R. Sadeghi. 2013. Just-In-Time Code Reuse: On the Effectiveness of Fine-Grained Address Space Layout Randomization. In S&P'13.  K. Z. Snow F. Monrose L. Davi A. Dmitrienko C. Liebchen and A.R. Sadeghi. 2013. Just-In-Time Code Reuse: On the Effectiveness of Fine-Grained Address Space Layout Randomization. In S&P'13.","DOI":"10.1109\/SP.2013.45"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1002\/etep.1862"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Daniel Sullivan Eric Luiijf and Edward J. M. Colbert. 2016. Components of Industrial Control Systems. Advances in Information Security Cyber-security of SCADA and Other Industrial Control Systems (2016) 15--28. https:\/\/doi.org\/10.1007\/978-3-319-32125-7_2  Daniel Sullivan Eric Luiijf and Edward J. M. Colbert. 2016. Components of Industrial Control Systems. Advances in Information Security Cyber-security of SCADA and Other Industrial Control Systems (2016) 15--28. https:\/\/doi.org\/10.1007\/978-3-319-32125-7_2","DOI":"10.1007\/978-3-319-32125-7_2"},{"volume-title":"Key Exchange and Pseudonym Delivery Protocol for Vehicular Networks. In 2009 International Conference on Advanced Information Networking and Applications. 675--682","year":"2009","author":"Teo J. C. M.","key":"e_1_3_2_1_24_1"},{"volume-title":"2018 6th International Istanbul Smart Grids and Cities Congress and Fair (ICSG).","author":"Ylmaz E. N.","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2016.7437026"},{"volume-title":"TENCON 2017 - 2017 IEEE Region 10 Conference. 2061--2066","year":"2017","author":"Zhou L.","key":"e_1_3_2_1_27_1"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Luying Zhou Huaqun Guo and Gelei Deng. 2019. A fog computing based approach to DDoS mitigation in IIoT systems. Computers & Security 85 (August 2019) 51--62. https:\/\/doi.org\/10.1016\/j.cose.2019.04.017  Luying Zhou Huaqun Guo and Gelei Deng. 2019. A fog computing based approach to DDoS mitigation in IIoT systems. Computers & Security 85 (August 2019) 51--62. https:\/\/doi.org\/10.1016\/j.cose.2019.04.017","DOI":"10.1016\/j.cose.2019.04.017"},{"volume-title":"Proceedings of the Singapore Cyber-Security RandD Conference (SG-CRC '17)","year":"2017","author":"Zhou Luying","key":"e_1_3_2_1_29_1"}],"event":{"name":"ICSS: Fifth Annual Industrial Control System Security Workshop","sponsor":["ACSA Applied Computing Security Assoc"],"location":"San Juan PR USA","acronym":"ICSS"},"container-title":["Proceedings of the Fifth Annual Industrial Control System Security (ICSS) Workshop"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372318.3372325","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3372318.3372325","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:20Z","timestamp":1750197740000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372318.3372325"}},"subtitle":["Formally Modeling the Conflicting Design Constraints in ICS"],"short-title":[],"issued":{"date-parts":[[2019,12,10]]},"references-count":29,"alternative-id":["10.1145\/3372318.3372325","10.1145\/3372318"],"URL":"https:\/\/doi.org\/10.1145\/3372318.3372325","relation":{},"subject":[],"published":{"date-parts":[[2019,12,10]]},"assertion":[{"value":"2019-12-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}