{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T17:57:05Z","timestamp":1781287025952,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,6,22]],"date-time":"2026-06-22T00:00:00Z","timestamp":1782086400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"U.S. Office of Naval Research","award":["N000142612041"],"award-info":[{"award-number":["N000142612041"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,6,23]]},"DOI":"10.1145\/3806008.3811708","type":"proceedings-article","created":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T17:05:21Z","timestamp":1781283921000},"page":"83-92","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["SERA \u2013 An AI Driven Re-Programmable Simulation Environment for Explainable Resiliency Analysis in Cyber-Physical Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-7394-1369","authenticated-orcid":false,"given":"Rakesh","family":"Podder","sequence":"first","affiliation":[{"name":"Colorado State University, Fort Collins, Colorado, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3612-7738","authenticated-orcid":false,"given":"Indrajit","family":"Ray","sequence":"additional","affiliation":[{"name":"Colorado State University, Fort Collins, Colorado, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2179298.2179320"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2165689"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPS-ISA62245.2024.00041"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.3390\/app13169451"},{"key":"e_1_3_2_1_5_1","first-page":"1","article-title":"Assessing Automotive Functional Safety Microprocessor with ISO 26262 Hardware Requirements. In Technical papers of 2014 international symposium on VLSI design, automation and test","author":"Chang Yung-Chang","year":"2014","unstructured":"Yung-Chang Chang, Li-Ren Huang, Hsing-Chuang Liu, Chih-Jen Yang, and Ching-Te Chiu. 2014. Assessing Automotive Functional Safety Microprocessor with ISO 26262 Hardware Requirements. In Technical papers of 2014 international symposium on VLSI design, automation and test. IEEE, 1-4.","journal-title":"IEEE"},{"key":"e_1_3_2_1_6_1","unstructured":"Abhimanyu Dubey et al. 2024. The llama 3 herd of models. arXiv e-prints arXiv-2407."},{"key":"e_1_3_2_1_7_1","volume-title":"2018 USENIX Workshop on Advances in Security Education (ASE 18)","author":"Formby David","year":"2018","unstructured":"David Formby, Milad Rad, and Raheem Beyah. 2018. Lowering the barriers to industrial control system security with {grfics}. In 2018 USENIX Workshop on Advances in Security Education (ASE 18)."},{"key":"e_1_3_2_1_8_1","unstructured":"Stefano Guarino et al. 2021. A hardware-in-the-loop water distribution testbed dataset for cyber-physical security testing. IEEE Access."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"S. Hosseinzadeh et al. 2024. Design and development considerations of a cyberphysical testbed for transportation critical infrastructure. Sensors.","DOI":"10.3390\/s24123923"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.net.2019.11.001"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISGTEurope.2011.6162695"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/CySWater.2016.7469060"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPEC.2019.8662189"},{"key":"e_1_3_2_1_14_1","volume-title":"USENIX Workshop on Cyber Security Experimentation and Test (CSET).","author":"Pfister Paul","year":"2019","unstructured":"Paul Pfister, David Nicol, et al. 2019. Extending the iseage testbed for cyberphysical security experiments. In USENIX Workshop on Cyber Security Experimentation and Test (CSET)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3734436.3734451"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPS-ISA58951.2023.00032"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1049\/cps2.12018"},{"key":"e_1_3_2_1_18_1","volume-title":"2011 international conference on wireless communications and signal processing (WCSP). IEEE, 1-6.","author":"Shi Jianhua","year":"2011","unstructured":"Jianhua Shi, Jiafu Wan, Hehua Yan, and Hui Suo. 2011. A survey of cyberphysical systems. In 2011 international conference on wireless communications and signal processing (WCSP). IEEE, 1-6."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2012.0601112.00185"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TETC.2013.2287188"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2165269"}],"event":{"name":"CODASPY '26: Sixteenth ACM Conference on Data and Application Security and Privacy","location":"Frankfurt am Main Germany","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 6th ACM Workshop on Secure and Trustworthy Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3806008.3811708","content-type":"text\/html","content-version":"vor","intended-application":"syndication"}],"deposited":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T17:05:40Z","timestamp":1781283940000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3806008.3811708"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,22]]},"references-count":21,"alternative-id":["10.1145\/3806008.3811708","10.1145\/3806008"],"URL":"https:\/\/doi.org\/10.1145\/3806008.3811708","relation":{},"subject":[],"published":{"date-parts":[[2026,6,22]]},"assertion":[{"value":"2026-06-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}