{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T19:03:37Z","timestamp":1782846217237,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T00:00:00Z","timestamp":1683504000000},"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":[[2023,5,8]]},"DOI":"10.1145\/3578357.3589456","type":"proceedings-article","created":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T19:30:12Z","timestamp":1683228612000},"page":"37-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Resilient and Secure System on Chip with Rejuvenation in the Wake of Persistent Attacks"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7235-9691","authenticated-orcid":false,"given":"Ahmad Tariq","family":"Sheikh","sequence":"first","affiliation":[{"name":"Resilient Computing and Cybersecurity Center (RC3), Computer, Electrical and Mathematical Sciences and Engineering Division (CEMSE), King Abdullah University of Science and Technology, Thuwal, Saudi Arabia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4898-9394","authenticated-orcid":false,"given":"Ali","family":"Shoker","sequence":"additional","affiliation":[{"name":"Resilient Computing and Cybersecurity Center (RC3), Computer, Electrical and Mathematical Sciences and Engineering Division (CEMSE), King Abdullah University of Science and Technology, Thuwal, Saudi Arabia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0085-8053","authenticated-orcid":false,"given":"Paulo","family":"Esteves-Verissimo","sequence":"additional","affiliation":[{"name":"Resilient Computing and Cybersecurity Center (RC3), Computer, Electrical and Mathematical Sciences and Engineering Division (CEMSE), King Abdullah University of Science and Technology, Thuwal, Saudi Arabia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,5,8]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"https:\/\/docs.xilinx.com\/v\/u\/en-US\/ug1085-zynq-ultrascale-trm","author":"Device Technical Reference Manual Zynq","year":"2020","unstructured":"2020. 2020. Zynq UltraScale+ Device Technical Reference Manual . Xilinx ( 2020 ). https:\/\/docs.xilinx.com\/v\/u\/en-US\/ug1085-zynq-ultrascale-trm 2020. 2020. Zynq UltraScale+ Device Technical Reference Manual. Xilinx (2020). https:\/\/docs.xilinx.com\/v\/u\/en-US\/ug1085-zynq-ultrascale-trm"},{"key":"e_1_3_2_1_2_1","volume-title":"Zynq-7000 SoC Technical Reference Manual. Xilinx","year":"2021","unstructured":"2021. 2021. Zynq-7000 SoC Technical Reference Manual. Xilinx ( 2021 ). https:\/\/docs.xilinx.com\/v\/u\/en-US\/ug585-Zynq-7000-TRM 2021. 2021. Zynq-7000 SoC Technical Reference Manual. Xilinx (2021). https:\/\/docs.xilinx.com\/v\/u\/en-US\/ug585-Zynq-7000-TRM"},{"key":"e_1_3_2_1_3_1","volume-title":"Using Encryption and Authentication to Secure an UltraScale\/UltraScale+ FPGA Bitstream. Xilinx","year":"2022","unstructured":"2022. 2022. Using Encryption and Authentication to Secure an UltraScale\/UltraScale+ FPGA Bitstream. Xilinx ( 2022 ). https:\/\/www.xilinx.com\/content\/dam\/xilinx\/support\/documents\/application_notes\/xapp1267-encryp-efuse-program.pdf 2022. 2022. Using Encryption and Authentication to Secure an UltraScale\/UltraScale+ FPGA Bitstream. Xilinx (2022). https:\/\/www.xilinx.com\/content\/dam\/xilinx\/support\/documents\/application_notes\/xapp1267-encryp-efuse-program.pdf"},{"key":"e_1_3_2_1_4_1","volume-title":"Versal ACAP Technical Reference Manual (AM011. Xilinx","year":"2022","unstructured":"2022. 2022. Versal ACAP Technical Reference Manual (AM011. Xilinx ( 2022 ). https:\/\/docs.xilinx.com\/r\/en-US\/am011-versal-acap-trm\/Introduction 2022. 2022. Versal ACAP Technical Reference Manual (AM011. Xilinx (2022). https:\/\/docs.xilinx.com\/r\/en-US\/am011-versal-acap-trm\/Introduction"},{"key":"e_1_3_2_1_5_1","volume-title":"https:\/\/www.xilinx.com\/content\/dam\/xilinx\/publications\/product-briefs\/xilinx-rfsoc-product-brief.pdf","author":"Device Technical Reference Manual Zynq","year":"2022","unstructured":"2022. 2022. Zynq UltraScale+ Device Technical Reference Manual . Xilinx ( 2022 ). https:\/\/www.xilinx.com\/content\/dam\/xilinx\/publications\/product-briefs\/xilinx-rfsoc-product-brief.pdf 2022. 2022. Zynq UltraScale+ Device Technical Reference Manual. Xilinx (2022). https:\/\/www.xilinx.com\/content\/dam\/xilinx\/publications\/product-briefs\/xilinx-rfsoc-product-brief.pdf"},{"key":"e_1_3_2_1_6_1","volume-title":"The hunt for the kill switch. iEEE SpEctrum 45, 5","author":"Adee Sally","year":"2008","unstructured":"Sally Adee . 2008. The hunt for the kill switch. iEEE SpEctrum 45, 5 ( 2008 ), 34--39. Sally Adee. 2008. The hunt for the kill switch. iEEE SpEctrum 45, 5 (2008), 34--39."},{"key":"e_1_3_2_1_7_1","unstructured":"ARM. Accessed on August 2022. ARMTrustZone. ARM (Accessed on August 2022). https:\/\/www.arm.com\/products\/security-on-arm\/trustzone  ARM. Accessed on August 2022. ARMTrustZone. ARM (Accessed on August 2022). https:\/\/www.arm.com\/products\/security-on-arm\/trustzone"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 10th USENIX Conference on Hot Topics in System Dependability","author":"Behl Johannes","year":"2014","unstructured":"Johannes Behl , Tobias Distler , and R\u00fcdiger Kapitza . 2014 . Scalable BFT for Multi-Cores: Actor-Based Decomposition and Consensus-Oriented Parallelization . In Proceedings of the 10th USENIX Conference on Hot Topics in System Dependability ( Broomfield, CO) (HotDep'14). USENIX Association, USA, 9. Johannes Behl, Tobias Distler, and R\u00fcdiger Kapitza. 2014. Scalable BFT for Multi-Cores: Actor-Based Decomposition and Consensus-Oriented Parallelization. In Proceedings of the 10th USENIX Conference on Hot Topics in System Dependability (Broomfield, CO) (HotDep'14). USENIX Association, USA, 9."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-005-0318-0"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/296806.296824"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/571637.571640"},{"key":"e_1_3_2_1_12_1","volume-title":"Accelerated aging system for prognostics of power semiconductor devices. In 2010 Ieee Autotestcon","author":"Celaya Jos\u00e9 R","unstructured":"Jos\u00e9 R Celaya , Philip Wysocki , Vladislav Vashchenko , Sankalita Saha , and Kai Goebel . 2010. Accelerated aging system for prognostics of power semiconductor devices. In 2010 Ieee Autotestcon . IEEE , 1--6. Jos\u00e9 R Celaya, Philip Wysocki, Vladislav Vashchenko, Sankalita Saha, and Kai Goebel. 2010. Accelerated aging system for prognostics of power semiconductor devices. In 2010 Ieee Autotestcon. IEEE, 1--6."},{"key":"e_1_3_2_1_13_1","unstructured":"V. Costan and S. Devadas. 2016. Intel SGX explained. Tech. rep. Massachusetts Institute of Technology (2016). https:\/\/eprint.iacr.org\/2016\/086.pdf  V. Costan and S. Devadas. 2016. Intel SGX explained. Tech. rep. Massachusetts Institute of Technology (2016). https:\/\/eprint.iacr.org\/2016\/086.pdf"},{"key":"e_1_3_2_1_14_1","volume-title":"Exploring Zynq MPSoC : With PYNQ and Machine Learning Applications","author":"Crockett Louise","unstructured":"Louise Crockett , David Northcote , Craig Ramsay , Fraser Robinson , and Robert Stewart . 2019. Exploring Zynq MPSoC : With PYNQ and Machine Learning Applications . Strathclyde Academic Media , Glasgow . https:\/\/www.zynq-mpsoc-book.com\/ Louise Crockett, David Northcote, Craig Ramsay, Fraser Robinson, and Robert Stewart. 2019. Exploring Zynq MPSoC : With PYNQ and Machine Learning Applications. Strathclyde Academic Media, Glasgow. https:\/\/www.zynq-mpsoc-book.com\/"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2015.2495213"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITAIC54216.2022.9836665"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.3390\/electronics6030052"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3361525.3361550"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2005.04096"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592800"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2018.07.007"},{"key":"e_1_3_2_1_22_1","volume-title":"Twenty-fifth international symposium on fault-tolerant computing. Digest of papers. IEEE, 381--390","author":"Huang Yennun","year":"1995","unstructured":"Yennun Huang , Chandra Kintala , Nick Kolettis , and N Dudley Fulton . 1995 . Software rejuvenation: Analysis, module and applications . In Twenty-fifth international symposium on fault-tolerant computing. Digest of papers. IEEE, 381--390 . Yennun Huang, Chandra Kintala, Nick Kolettis, and N Dudley Fulton. 1995. Software rejuvenation: Analysis, module and applications. In Twenty-fifth international symposium on fault-tolerant computing. Digest of papers. IEEE, 381--390."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/24.229488"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2018.00014"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2014.6853210"},{"key":"e_1_3_2_1_26_1","volume-title":"Trusted platform module basics: using TPM in embedded systems","author":"Kinney Steven L","unstructured":"Steven L Kinney . 2006. Trusted platform module basics: using TPM in embedded systems . Elsevier . Steven L Kinney. 2006. Trusted platform module basics: using TPM in embedded systems. Elsevier."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00002"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1658357.1658358"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357176"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3357033"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2018.2860009"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO56248.2022.00018"},{"key":"e_1_3_2_1_33_1","volume-title":"2016 11th International Design & Test Symposium (IDT). IEEE, 154--159","author":"Makni Mariem","year":"2016","unstructured":"Mariem Makni , Mouna Baklouti , Smail Niar , Mohamed Wassim Jmal , and Mohamed Abid . 2016 . A comparison and performance evaluation of FPGA soft-cores for embedded multi-core systems . In 2016 11th International Design & Test Symposium (IDT). IEEE, 154--159 . Mariem Makni, Mouna Baklouti, Smail Niar, Mohamed Wassim Jmal, and Mohamed Abid. 2016. A comparison and performance evaluation of FPGA soft-cores for embedded multi-core systems. In 2016 11th International Design & Test Symposium (IDT). IEEE, 154--159."},{"key":"e_1_3_2_1_34_1","volume-title":"2020 IEEE\/ACM International Conference On Computer Aided Design (ICCAD). 1--9.","author":"Mantovani Paolo","unstructured":"Paolo Mantovani , Davide Giri , Giuseppe Di Guglielmo , Luca Piccolboni , Joseph Zuckerman , Emilio G. Cota , Michele Petracca , Christian Pilato , and Luca P. Carloni . 2020. Agile SoC Development with Open ESP : Invited Paper . In 2020 IEEE\/ACM International Conference On Computer Aided Design (ICCAD). 1--9. Paolo Mantovani, Davide Giri, Giuseppe Di Guglielmo, Luca Piccolboni, Joseph Zuckerman, Emilio G. Cota, Michele Petracca, Christian Pilato, and Luca P. Carloni. 2020. Agile SoC Development with Open ESP : Invited Paper. In 2020 IEEE\/ACM International Conference On Computer Aided Design (ICCAD). 1--9."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1063\/1.1784300","article-title":"Dusty plasmas in the laboratory, industry, and space","volume":"57","author":"Merlino Robert L","year":"2004","unstructured":"Robert L Merlino and John A Goree . 2004 . Dusty plasmas in the laboratory, industry, and space . PHYSICS TODAY. 57 , 7 (2004), 32 -- 39 . Robert L Merlino and John A Goree. 2004. Dusty plasmas in the laboratory, industry, and space. PHYSICS TODAY. 57, 7 (2004), 32--39.","journal-title":"PHYSICS TODAY."},{"key":"e_1_3_2_1_36_1","unstructured":"Paolo Prinetto and Gianluca Roascio. 2020. Hardware Security Vulnerabilities and Attacks: A Comprehensive Taxonomy.. In ITASEC. 177--189.  Paolo Prinetto and Gianluca Roascio. 2020. Hardware Security Vulnerabilities and Attacks: A Comprehensive Taxonomy.. In ITASEC. 177--189."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/Trustcom.2015.357"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICACCCT.2014.7019254"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/98163.98167"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/EIT48999.2020.9208275"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS53918.2021.00017"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2005.55"},{"key":"e_1_3_2_1_43_1","volume-title":"Proceedings of the 2006 ACM Symposium on Applied Computing. 686--690","author":"Sousa Paulo","year":"2006","unstructured":"Paulo Sousa , Nuno Ferreira Neves , and Paulo Ver\u00edssimo . 2006 . Proactive resilience through architectural hybridization . In Proceedings of the 2006 ACM Symposium on Applied Computing. 686--690 . Paulo Sousa, Nuno Ferreira Neves, and Paulo Ver\u00edssimo. 2006. Proactive resilience through architectural hybridization. In Proceedings of the 2006 ACM Symposium on Applied Computing. 686--690."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1122480.1122497"},{"key":"e_1_3_2_1_45_1","volume-title":"Nuno Ferreira Neves, and Miguel Pupo Correia","author":"Ver\u00edssimo Paulo Esteves","year":"2003","unstructured":"Paulo Esteves Ver\u00edssimo , Nuno Ferreira Neves, and Miguel Pupo Correia . 2003 . Intrusion-Tolerant Architectures: Concepts and Design. In Architecting Dependable Systems, Rog\u00e9rio de Lemos, Cristina Gacek, and Alexander Romanovsky (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg, 3--36. Paulo Esteves Ver\u00edssimo, Nuno Ferreira Neves, and Miguel Pupo Correia. 2003. Intrusion-Tolerant Architectures: Concepts and Design. In Architecting Dependable Systems, Rog\u00e9rio de Lemos, Cristina Gacek, and Alexander Romanovsky (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 3--36."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.221"},{"key":"e_1_3_2_1_47_1","volume-title":"UG909: Vivado Design Suite User Guide: Dynamic Function eXchange. Xilinx","year":"2018","unstructured":"Xilinx. 2018. UG909: Vivado Design Suite User Guide: Dynamic Function eXchange. Xilinx ( 2018 ). https:\/\/docs.xilinx.com\/r\/2021.1-English\/Vivado-Design-Suite-User-Guide-Dynamic-Function-eXchange-UG909 Xilinx. 2018. UG909: Vivado Design Suite User Guide: Dynamic Function eXchange. Xilinx (2018). https:\/\/docs.xilinx.com\/r\/2021.1-English\/Vivado-Design-Suite-User-Guide-Dynamic-Function-eXchange-UG909"},{"key":"e_1_3_2_1_48_1","volume-title":"UG1085: Zynq UltraScale+ Device Technical Reference Manual. Xilinx","year":"2019","unstructured":"Xilinx2019. 2019. UG1085: Zynq UltraScale+ Device Technical Reference Manual. Xilinx ( 2019 ). Xilinx2019. 2019. UG1085: Zynq UltraScale+ Device Technical Reference Manual. Xilinx (2019)."}],"event":{"name":"EUROSEC '23: 16th European Workshop on System Security","location":"Rome Italy","acronym":"EUROSEC '23","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 16th European Workshop on System Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3578357.3589456","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:46:51Z","timestamp":1750178811000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3578357.3589456"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,8]]},"references-count":48,"alternative-id":["10.1145\/3578357.3589456","10.1145\/3578357"],"URL":"https:\/\/doi.org\/10.1145\/3578357.3589456","relation":{},"subject":[],"published":{"date-parts":[[2023,5,8]]},"assertion":[{"value":"2023-05-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}