{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T12:35:47Z","timestamp":1764333347973,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,12,11]],"date-time":"2023-12-11T00:00:00Z","timestamp":1702252800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006374","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["101020416"],"award-info":[{"award-number":["101020416"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"Agentschap Innoveren en Ondernemen","doi-asserted-by":"publisher","award":["ICON-TACOS,ICON-TRUSTI"],"award-info":[{"award-number":["ICON-TACOS,ICON-TRUSTI"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"KU Leuven","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,12,11]]},"DOI":"10.1145\/3626562.3626831","type":"proceedings-article","created":{"date-parts":[[2023,11,16]],"date-time":"2023-11-16T18:12:45Z","timestamp":1700158365000},"page":"22-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Mr-TEE"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7087-3438","authenticated-orcid":false,"given":"Tom","family":"Van Eyck","sequence":"first","affiliation":[{"name":"DistriNet, KU Leuven, Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3694-3524","authenticated-orcid":false,"given":"Hamdi","family":"Trimech","sequence":"additional","affiliation":[{"name":"DistriNet, KU Leuven, Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3866-5425","authenticated-orcid":false,"given":"Sam","family":"Michiels","sequence":"additional","affiliation":[{"name":"DistriNet, KU Leuven, Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0750-3693","authenticated-orcid":false,"given":"Danny","family":"Hughes","sequence":"additional","affiliation":[{"name":"DistriNet, KU Leuven, Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5781-7589","authenticated-orcid":false,"given":"Majid","family":"Salehi","sequence":"additional","affiliation":[{"name":"Nokia Bell Labs, Antwerp, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7197-2390","authenticated-orcid":false,"given":"Hassan","family":"Janjuaa","sequence":"additional","affiliation":[{"name":"DistriNet, KU Leuven, Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-4632-9082","authenticated-orcid":false,"given":"Thanh-Liem","family":"Ta","sequence":"additional","affiliation":[{"name":"Polytech Sorbonne, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,12,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3484782"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/tdsc.2019.2928541"},{"key":"e_1_3_2_1_3_1","volume-title":"CURE: A Security Architecture with CUstomizable and Resilient Enclaves. In 30th USENIX Security Symposium (USENIX Security 21)","author":"Bahmani Raad","year":"2021","unstructured":"Raad Bahmani, Ferdinand Brasser, Ghada Dessouky, Patrick Jauernig, Matthias Klimmek, Ahmad-Reza Sadeghi, and Emmanuel Stapf. 2021. CURE: A Security Architecture with CUstomizable and Resilient Enclaves. In 30th USENIX Security Symposium (USENIX Security 21). USENIX Association, 1073--1090. Retrieved from https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/bahmani"},{"key":"e_1_3_2_1_4_1","volume-title":"27th USENIX Security Symposium (USENIX Security 18)","author":"Bulck Jo Van","year":"2018","unstructured":"Jo Van Bulck, Marina Minkin, Ofir Weisse, Daniel Genkin, Baris Kasikci, Frank Piessens, Mark Silberstein, Thomas F. Wenisch, Yuval Yarom, and Raoul Strackx. 2018. Foreshadow: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution. In 27th USENIX Security Symposium (USENIX Security 18). USENIX Association, Baltimore, MD, 991--1008. Retrieved from https.\/\/www.usenix.org\/conference\/usenixsecurity18\/presentation\/bulck"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the International Infrastructure Survivability Workshop. Citeseer, 3--10","author":"Byres Eric J","year":"2004","unstructured":"Eric J Byres, Matthew Franz, and Darrin Miller. 2004. The Use of Attack Trees in Assessing Vulnerabilities in SCADA Systems. In Proceedings of the International Infrastructure Survivability Workshop. Citeseer, 3--10."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-014-0308-9"},{"key":"e_1_3_2_1_7_1","unstructured":"Victor Costan and Srinivas Devadas. 2016. Intel SGX Explained. Cryptology ePrint Archive Paper 2016\/086. Retrieved from https:\/\/eprint.iacr.org\/2016\/086"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3154448.3154454"},{"key":"e_1_3_2_1_9_1","volume-title":"d.]. CPU Benchmark - MCU Benchmark - CoreMark. Retrieved","author":"EEMBC.","year":"2022","unstructured":"EEMBC. [n. d.]. CPU Benchmark - MCU Benchmark - CoreMark. Retrieved October 13, 2022 from https:\/\/www.eembc.org\/coremark\/ ZSCC: NoCitation-Data[s0]."},{"volume-title":"Retrieved","year":"2018","key":"e_1_3_2_1_10_1","unstructured":"GlobalPlatform. 2018. Introduction to Trusted Execution Environments. Retrieved October 13, 2022 from https:\/\/globalplatform.org\/resource-publication\/introduction-to-trusted-execution-environments\/"},{"key":"e_1_3_2_1_11_1","volume-title":"PISTIS: Trusted Computing Architecture for Low-end Embedded Systems. In 31st USENIX Security Symposium (USENIXSecurity22)","author":"Grisafi Michele","year":"2022","unstructured":"Michele Grisafi, Mahmoud Ammar, Marco Roveri, and Bruno Crispo. 2022. PISTIS: Trusted Computing Architecture for Low-end Embedded Systems. In 31st USENIX Security Symposium (USENIXSecurity22). USENIX Association, Boston, MA, 3843--3860. Retrieved from https:\/\/www.usenix.org\/conference\/usenixsecurity22\/presentation\/grisafi"},{"key":"e_1_3_2_1_12_1","volume-title":"26th USENIX Security Symposium (USENIX Security 17)","author":"Hua Zhichao","year":"2017","unstructured":"Zhichao Hua, Jinyu Gu, Yubin Xia, Haibo Chen, Binyu Zang, and Haibing Guan. 2017. vTZ: Virtualizing ARM TrustZone. In 26th USENIX Security Symposium (USENIX Security 17). USENIX Association, Vancouver, BC, 541--556. Retrieved from https:\/\/www.usenix.org\/conference\/usenixsecurity17\/technical-sessions\/presentation\/hua"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3268935.3268936"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3342559.3365338"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/jiot.2019.2919066"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","unstructured":"Chen-Kai Lin and Bow-Yaw Wang. 2022. Analyzing FreeRTOS Scheduling Behaviors with the Spin Model Checker. (2022). https:\/\/doi.org\/10.48550\/arxiv.2205.07480 arXiv:2205.07480 [cs.FL]","DOI":"10.48550\/arxiv.2205.07480"},{"volume-title":"Retrieved","year":"2022","key":"e_1_3_2_1_17_1","unstructured":"Linaro. 2022. Open Portable Trusted Execution Environment. Retrieved October 13, 2022 from https:\/\/www.op-tee.org\/"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23227"},{"key":"e_1_3_2_1_19_1","unstructured":"Elizabeth Montalbano. 2021. Florida Water Plant Hack: Leaked Credentials Found in Breach Database. Retrieved from https:\/\/threatpost.com\/florida-water-plant-hack-credentials-breach\/163919\/"},{"key":"e_1_3_2_1_20_1","volume-title":"Bypassing Isolated Execution on RISC-V with Fault Injection. Cryptology ePrint Archive","author":"Nashimoto Shoei","year":"2020","unstructured":"Shoei Nashimoto, Daisuke Suzuki, Rei Ueno, and Naofumi Homma. 2020. Bypassing Isolated Execution on RISC-V with Fault Injection. Cryptology ePrint Archive (2020). Retrieved from https:\/\/eprint.iacr.org\/2020\/1193"},{"key":"e_1_3_2_1_21_1","volume-title":"22nd USENIX Security Symposium (USENIX Security 13)","author":"Noorman Job","year":"2013","unstructured":"Job Noorman, Pieter Agten, Wilfried Daniels, Raoul Strackx, Anthony Van Herrewege, Christophe Huygens, Bart Preneel, Ingrid Verbauwhede, and Frank Piessens. 2013. Sancus: Low-cost Trustworthy Extensible Networked Devices with a Zero-software Trusted Computing Base. In 22nd USENIX Security Symposium (USENIX Security 13). USENIX Association, Washington, D.C., 479--498. Retrieved from https:\/\/www.usenix.org\/conference\/usenixsecurity13\/technical-sessions\/presentation\/noorman"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3079763"},{"key":"e_1_3_2_1_23_1","volume-title":"Retrieved","author":"Pavlov Igor","year":"2022","unstructured":"Igor Pavlov. 2022. 7-Zip. Retrieved October 13, 2022 from https:\/\/www.7-zip.org\/"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2022.3149371"},{"key":"e_1_3_2_1_25_1","volume-title":"23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2020","author":"Salehi Majid","year":"2020","unstructured":"Majid Salehi, Danny Hughes, and Bruno Crispo. 2020. μSBS: Static Binary Sanitization of Bare-metal Embedded Devices for Fault Observability. In 23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2020). USENIX Association, San Sebastian, 381--395. Retrieved from https:\/\/www.usenix.org\/conference\/raid2020\/presentation\/salehi"},{"key":"e_1_3_2_1_26_1","unstructured":"Amazon Web Services. 2017. The FreeRTOS\u2122 Reference Manual. Retrieved from https:\/\/www.freertos.org\/Documentation\/RTOS_book.html"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/tr.2021.3051635"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/sp40000.2020.00042"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/sp46214.2022.9833604"}],"event":{"name":"Middleware '23: 24th International Middleware Conference","sponsor":["ACM Association for Computing Machinery","IFIP International Federation for Information Processing"],"location":"Bologna Italy","acronym":"Middleware '23"},"container-title":["Proceedings of the 24th International Middleware Conference: Industrial Track"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3626562.3626831","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3626562.3626831","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T20:21:35Z","timestamp":1755980495000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3626562.3626831"}},"subtitle":["Practical Trusted Execution of Mixed-Criticality Code"],"short-title":[],"issued":{"date-parts":[[2023,12,11]]},"references-count":29,"alternative-id":["10.1145\/3626562.3626831","10.1145\/3626562"],"URL":"https:\/\/doi.org\/10.1145\/3626562.3626831","relation":{},"subject":[],"published":{"date-parts":[[2023,12,11]]},"assertion":[{"value":"2023-12-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}