{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:16:06Z","timestamp":1750220166653,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Colorado State","award":["18-086"],"award-info":[{"award-number":["18-086"]}]},{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["2046705, 2152768, 2001789"],"award-info":[{"award-number":["2046705, 2152768, 2001789"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3560826.3563384","type":"proceedings-article","created":{"date-parts":[[2022,11,4]],"date-time":"2022-11-04T04:06:25Z","timestamp":1667534785000},"page":"27-33","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Secure Reboots for Real-Time Cyber-Physical Systems"],"prefix":"10.1145","author":[{"given":"Vijay","family":"Banerjee","sequence":"first","affiliation":[{"name":"University of Colorado Colorado Springs, Colorado Springs, CO, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sena","family":"Hounsinou","sequence":"additional","affiliation":[{"name":"University of Colorado Colorado Springs, Colorado Springs, CO, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Habeeb","family":"Olufowobi","sequence":"additional","affiliation":[{"name":"University of Texas Arlington, Arlington, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monowar","family":"Hasan","sequence":"additional","affiliation":[{"name":"Wichita State University, Wichita, KS, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gedare","family":"Bloom","sequence":"additional","affiliation":[{"name":"University of Colorado Colorado Springs, Colorado Springs, CO, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,11,7]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"335","volume-title":"Evolving dependable real-time systems,\" in 1996 IEEE AeroConf","author":"Sha L.","year":"1996","unstructured":"L. Sha , R. Rajkumar , and M. Gagliardi , \" Evolving dependable real-time systems,\" in 1996 IEEE AeroConf ., vol. 1 . IEEE , 1996 , pp. 335 -- 346 . L. Sha, R. Rajkumar, and M. Gagliardi, \"Evolving dependable real-time systems,\" in 1996 IEEE AeroConf., vol. 1. IEEE, 1996, pp. 335--346."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2001.936213"},{"key":"e_1_3_2_1_3_1","first-page":"99","article-title":"The system-level simplex architecture for improved real-time embedded system safety,\" in 2009 15th IEEE RTAS","author":"Bak S.","year":"2009","unstructured":"S. Bak , D. K. Chivukula , O. Adekunle , M. Sun , M. Caccamo , and L. Sha , \" The system-level simplex architecture for improved real-time embedded system safety,\" in 2009 15th IEEE RTAS . IEEE , 2009 , pp. 99 -- 107 . S. Bak, D. K. Chivukula, O. Adekunle, M. Sun, M. Caccamo, and L. Sha, \"The system-level simplex architecture for improved real-time embedded system safety,\" in 2009 15th IEEE RTAS. IEEE, 2009, pp. 99--107.","journal-title":"IEEE"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1993.0034"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/29.5.390"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"e_1_3_2_1_7_1","first-page":"524","volume-title":"IEEE","author":"Hounsinou S.","year":"2021","unstructured":"S. Hounsinou , V. Banerjee , C. Peng , M. Hasan , and G. Bloom , \" Work-in-progress: Enabling secure boot for real-time restart-based cyber-physical systems,\" in 2021 IEEE Real-Time Systems Symposium (RTSS) . IEEE , 2021 , pp. 524 -- 527 . S. Hounsinou, V. Banerjee, C. Peng, M. Hasan, and G. Bloom, \"Work-in-progress: Enabling secure boot for real-time restart-based cyber-physical systems,\" in 2021 IEEE Real-Time Systems Symposium (RTSS). IEEE, 2021, pp. 524--527."},{"key":"e_1_3_2_1_8_1","volume-title":"Restartbased security mechanisms for safety-critical embedded systems,\" arXiv preprint arXiv:1705.01520","author":"Abdi F.","year":"2017","unstructured":"F. Abdi , C.-Y. Chen , M. Hasan , S. Liu , S. Mohan , and M. Caccamo , \" Restartbased security mechanisms for safety-critical embedded systems,\" arXiv preprint arXiv:1705.01520 , 2017 . F. Abdi, C.-Y. Chen, M. Hasan, S. Liu, S. Mohan, and M. Caccamo, \"Restartbased security mechanisms for safety-critical embedded systems,\" arXiv preprint arXiv:1705.01520, 2017."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1990.128748"},{"key":"e_1_3_2_1_10_1","volume-title":"IEEE Real-Time Systems Symposium. Citeseer","author":"Gonzalez M.","year":"1991","unstructured":"M. Gonzalez , H. Mark , H. Klein , and J. P. Lehoczky , \" Fixed priority scheduling of periodic tasks with varying execution priority,\" in In Proceedings , IEEE Real-Time Systems Symposium. Citeseer , 1991 . M. Gonzalez, H. Mark, H. Klein, and J. P. Lehoczky, \"Fixed priority scheduling of periodic tasks with varying execution priority,\" in In Proceedings, IEEE Real-Time Systems Symposium. Citeseer, 1991."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1201\/9781351255790"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-005-0507-9"},{"key":"e_1_3_2_1_13_1","first-page":"166","article-title":"The rate monotonic scheduling algorithm: Exact characterization and average case behavior","volume":"89","author":"Lehoczky J.","year":"1989","unstructured":"J. Lehoczky , L. Sha , and Y. Ding , \" The rate monotonic scheduling algorithm: Exact characterization and average case behavior ,\" in RTSS , vol. 89 , 1989 , pp. 166 -- 171 . J. Lehoczky, L. Sha, and Y. Ding, \"The rate monotonic scheduling algorithm: Exact characterization and average case behavior,\" in RTSS, vol. 89, 1989, pp. 166--171.","journal-title":"RTSS"},{"key":"e_1_3_2_1_14_1","first-page":"33","article-title":"Cache-related preemption and migration delays: Empirical approximation and impact on schedulability","volume":"10","author":"Bastoni A.","year":"2010","unstructured":"A. Bastoni , B. Brandenburg , and J. Anderson , \" Cache-related preemption and migration delays: Empirical approximation and impact on schedulability ,\" Proceedings of OSPERT , vol. 10 , pp. 33 -- 44 , 2010 . A. Bastoni, B. Brandenburg, and J. Anderson, \"Cache-related preemption and migration delays: Empirical approximation and impact on schedulability,\" Proceedings of OSPERT, vol. 10, pp. 33--44, 2010.","journal-title":"Proceedings of OSPERT"},{"key":"e_1_3_2_1_15_1","first-page":"99","article-title":"The system-level simplex architecture for improved real-time embedded system safety,\" in 2009 15th IEEE RTAS","author":"Bak S.","year":"2009","unstructured":"S. Bak , D. K. Chivukula , O. Adekunle , M. Sun , M. Caccamo , and L. Sha , \" The system-level simplex architecture for improved real-time embedded system safety,\" in 2009 15th IEEE RTAS . IEEE , 2009 , pp. 99 -- 107 . S. Bak, D. K. Chivukula, O. Adekunle, M. Sun, M. Caccamo, and L. Sha, \"The system-level simplex architecture for improved real-time embedded system safety,\" in 2009 15th IEEE RTAS. IEEE, 2009, pp. 99--107.","journal-title":"IEEE"},{"key":"e_1_3_2_1_16_1","first-page":"1","article-title":"Reset-based recovery for real-time cyber-physical systems with temporal safety constraints,\" in 2016 IEEE 21st ETFA","author":"Abad F. A. T.","year":"2016","unstructured":"F. A. T. Abad , R. Mancuso , S. Bak , O. Dantsker , and M. Caccamo , \" Reset-based recovery for real-time cyber-physical systems with temporal safety constraints,\" in 2016 IEEE 21st ETFA . IEEE , 2016 , pp. 1 -- 8 . F. A. T. Abad, R. Mancuso, S. Bak, O. Dantsker, and M. Caccamo, \"Reset-based recovery for real-time cyber-physical systems with temporal safety constraints,\" in 2016 IEEE 21st ETFA. IEEE, 2016, pp. 1--8.","journal-title":"IEEE"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3407183"},{"key":"e_1_3_2_1_18_1","first-page":"47","article-title":"Resecure: A restartbased security protocol for tightly actuated hard real-time systems","author":"Abdi F.","year":"2016","unstructured":"F. Abdi , M. Hasan , S. Mohan , D. Agarwal , and M. Caccamo , \" Resecure: A restartbased security protocol for tightly actuated hard real-time systems ,\" IEEE CERTS , pp. 47 -- 54 , 2016 . F. Abdi, M. Hasan, S. Mohan, D. Agarwal, and M. Caccamo, \"Resecure: A restartbased security protocol for tightly actuated hard real-time systems,\" IEEE CERTS, pp. 47--54, 2016.","journal-title":"IEEE CERTS"},{"key":"e_1_3_2_1_19_1","first-page":"10","volume-title":"IEEE","author":"Abdi F.","year":"2018","unstructured":"F. Abdi , C.-Y. Chen , M. Hasan , S. Liu , S. Mohan , and M. Caccamo , \" Guaranteed physical security with restart-based design for cyber-physical systems,\" in 2018 ACM\/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS) . IEEE , 2018 , pp. 10 -- 21 . F. Abdi, C.-Y. Chen, M. Hasan, S. Liu, S. Mohan, and M. Caccamo, \"Guaranteed physical security with restart-based design for cyber-physical systems,\" in 2018 ACM\/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS). IEEE, 2018, pp. 10--21."},{"key":"e_1_3_2_1_20_1","first-page":"1","volume-title":"Reset-based recovery for real-time cyber-physical systems with temporal safety constraints,\" in 2016 IEEE 21st ETFA","author":"Abad F. A. T.","year":"2016","unstructured":"F. A. T. Abad , R. Mancuso , S. Bak , O. Dantsker , and M. Caccamo , \" Reset-based recovery for real-time cyber-physical systems with temporal safety constraints,\" in 2016 IEEE 21st ETFA , 2016 , pp. 1 -- 8 . F. A. T. Abad, R. Mancuso, S. Bak, O. Dantsker, and M. Caccamo, \"Reset-based recovery for real-time cyber-physical systems with temporal safety constraints,\" in 2016 IEEE 21st ETFA, 2016, pp. 1--8."},{"key":"e_1_3_2_1_21_1","first-page":"3740","volume-title":"IEEE","author":"Romagnoli R.","year":"2019","unstructured":"R. Romagnoli , B. H. Krogh , and B. Sinopoli , \" Design of software rejuvenation for cps security using invariant sets,\" in 2019 American Control Conference (ACC) . IEEE , 2019 , pp. 3740 -- 3745 . R. Romagnoli, B. H. Krogh, and B. Sinopoli, \"Design of software rejuvenation for cps security using invariant sets,\" in 2019 American Control Conference (ACC). IEEE, 2019, pp. 3740--3745."},{"key":"e_1_3_2_1_22_1","first-page":"3","volume-title":"IEEE","author":"Bak S.","year":"2011","unstructured":"S. Bak , K. Manamcheri , S. Mitra , and M. Caccamo , \" Sandboxing controllers for cyber-physical systems,\" in 2011 IEEE\/ACM Second International Conference on Cyber-Physical Systems . IEEE , 2011 , pp. 3 -- 12 . S. Bak, K. Manamcheri, S. Mitra, and M. Caccamo, \"Sandboxing controllers for cyber-physical systems,\" in 2011 IEEE\/ACM Second International Conference on Cyber-Physical Systems. IEEE, 2011, pp. 3--12."},{"key":"e_1_3_2_1_23_1","first-page":"138","article-title":"Real-time reachability for verified simplex design,\" in 2014 IEEE RTSS","author":"Bak S.","year":"2014","unstructured":"S. Bak , T. T. Johnson , M. Caccamo , and L. Sha , \" Real-time reachability for verified simplex design,\" in 2014 IEEE RTSS . IEEE , 2014 , pp. 138 -- 148 . S. Bak, T. T. Johnson, M. Caccamo, and L. Sha, \"Real-time reachability for verified simplex design,\" in 2014 IEEE RTSS. IEEE, 2014, pp. 138--148.","journal-title":"IEEE"},{"key":"e_1_3_2_1_24_1","first-page":"197","article-title":"Application and system-level software fault tolerance through full system restarts,\" in 2017 ACM\/IEEE 8th ICCPS","author":"Abdi F.","year":"2017","unstructured":"F. Abdi , R. Tabish , M. Rungger , M. Zamani , and M. Caccamo , \" Application and system-level software fault tolerance through full system restarts,\" in 2017 ACM\/IEEE 8th ICCPS . IEEE , 2017 , pp. 197 -- 206 . F. Abdi, R. Tabish, M. Rungger, M. Zamani, and M. Caccamo, \"Application and system-level software fault tolerance through full system restarts,\" in 2017 ACM\/IEEE 8th ICCPS. IEEE, 2017, pp. 197--206.","journal-title":"IEEE"},{"key":"e_1_3_2_1_25_1","volume-title":"Fired: frequent inertial resets with diversification for emerging commodity cyber-physical systems,\" arXiv preprint arXiv:1702.06595","author":"Arroyo M.","year":"2017","unstructured":"M. Arroyo , H. Kobayashi , S. Sethumadhavan , and J. Yang , \" Fired: frequent inertial resets with diversification for emerging commodity cyber-physical systems,\" arXiv preprint arXiv:1702.06595 , 2017 . M. Arroyo, H. Kobayashi, S. Sethumadhavan, and J. Yang, \"Fired: frequent inertial resets with diversification for emerging commodity cyber-physical systems,\" arXiv preprint arXiv:1702.06595, 2017."},{"key":"e_1_3_2_1_26_1","volume-title":"Yolo: frequently resetting cyber-physical systems for security,\" in Autonomous Systems: Sensors, Processing, and Security for Vehicles and Infrastructure","author":"Arroyo M. A.","year":"2019","unstructured":"M. A. Arroyo , M. T. I. Ziad , H. Kobayashi , J. Yang , and S. Sethumadhavan , \" Yolo: frequently resetting cyber-physical systems for security,\" in Autonomous Systems: Sensors, Processing, and Security for Vehicles and Infrastructure 2019 , vol. 11009 . International Society for Optics and Photonics , 2019, p. 110090P. M. A. Arroyo, M. T. I. Ziad, H. Kobayashi, J. Yang, and S. Sethumadhavan, \"Yolo: frequently resetting cyber-physical systems for security,\" in Autonomous Systems: Sensors, Processing, and Security for Vehicles and Infrastructure 2019, vol. 11009. International Society for Optics and Photonics, 2019, p. 110090P."}],"event":{"name":"CCS '22: 2022 ACM SIGSAC Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Los Angeles CA USA","acronym":"CCS '22"},"container-title":["Proceedings of the 4th Workshop on CPS & IoT Security and Privacy"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3560826.3563384","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3560826.3563384","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3560826.3563384","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:34Z","timestamp":1750186834000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3560826.3563384"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":26,"alternative-id":["10.1145\/3560826.3563384","10.1145\/3560826"],"URL":"https:\/\/doi.org\/10.1145\/3560826.3563384","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}