{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T15:01:19Z","timestamp":1781881279004,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":91,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,12,5]],"date-time":"2022-12-05T00:00:00Z","timestamp":1670198400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100011318","name":"Fondation Botnar","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100011318","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["850868"],"award-info":[{"award-number":["850868"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Swiss National Science Foundation","award":["PCEGP2_186974"],"award-info":[{"award-number":["PCEGP2_186974"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,12,5]]},"DOI":"10.1145\/3564625.3567994","type":"proceedings-article","created":{"date-parts":[[2022,12,3]],"date-time":"2022-12-03T01:01:29Z","timestamp":1670029289000},"page":"102-116","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Designing a Provenance Analysis for SGX Enclaves"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7114-5640","authenticated-orcid":false,"given":"Flavio","family":"Toffalini","sequence":"first","affiliation":[{"name":"EPFL, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5054-7547","authenticated-orcid":false,"given":"Mathias","family":"Payer","sequence":"additional","affiliation":[{"name":"EPFL, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0594-0432","authenticated-orcid":false,"given":"Jianying","family":"Zhou","sequence":"additional","affiliation":[{"name":"Singapore University of Technology and Design, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3878-2680","authenticated-orcid":false,"given":"Lorenzo","family":"Cavallaro","sequence":"additional","affiliation":[{"name":"University College London, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,12,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2013 (accessed September 2020). Intel\u00ae\u00a0Software Guard Extensions (Intel\u00aeSGX) - Developer Guide. https:\/\/download.01.org\/intel-sgx\/linux-2.1.3\/docs\/Intel_SGX_Developer_Guide.pdf.  2013 (accessed September 2020). Intel\u00ae\u00a0Software Guard Extensions (Intel\u00aeSGX) - Developer Guide. https:\/\/download.01.org\/intel-sgx\/linux-2.1.3\/docs\/Intel_SGX_Developer_Guide.pdf."},{"key":"e_1_3_2_1_2_1","unstructured":".2020 (accessed September 24 2020). Build SGX Enclave using Clang\/LLVM. https:\/\/community.intel.com\/t5\/Intel-Software-Guard-Extensions\/Build-SGX-Enclave-using-Clang-LLVM\/td-p\/1161847.  .2020 (accessed September 24 2020). Build SGX Enclave using Clang\/LLVM. https:\/\/community.intel.com\/t5\/Intel-Software-Guard-Extensions\/Build-SGX-Enclave-using-Clang-LLVM\/td-p\/1161847."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1609956.1609960"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978358"},{"key":"e_1_3_2_1_5_1","unstructured":"Tigist Abera Raad Bahmani Ferdinand Brasser Ahmad Ibrahim Ahmad-Reza Sadeghi and Matthias Schunter. [n. d.]. DIAT: Data Integrity Attestation for Resilient Collaboration of Autonomous Systems. ([n. d.]).  Tigist Abera Raad Bahmani Ferdinand Brasser Ahmad Ibrahim Ahmad-Reza Sadeghi and Matthias Schunter. [n. d.]. DIAT: Data Integrity Attestation for Resilient Collaboration of Autonomous Systems. ([n. d.])."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 2nd international workshop on hardware and architectural support for security and privacy, Vol.\u00a013","author":"Anati Ittai","year":"2013","unstructured":"Ittai Anati , Shay Gueron , Simon Johnson , and Vincent Scarlata . 2013 . Innovative technology for CPU based attestation and sealing . In Proceedings of the 2nd international workshop on hardware and architectural support for security and privacy, Vol.\u00a013 . Citeseer, 7. Ittai Anati, Shay Gueron, Simon Johnson, and Vincent Scarlata. 2013. Innovative technology for CPU based attestation and sealing. In Proceedings of the 2nd international workshop on hardware and architectural support for security and privacy, Vol.\u00a013. Citeseer, 7."},{"key":"e_1_3_2_1_7_1","unstructured":"Signal App. 2017 (accessed September 14 2020). Private Contact Discovery Service (Beta). https:\/\/github.com\/signalapp\/ContactDiscoveryService.  Signal App. 2017 (accessed September 14 2020). Private Contact Discovery Service (Beta). https:\/\/github.com\/signalapp\/ContactDiscoveryService."},{"key":"e_1_3_2_1_8_1","unstructured":"Signal App. 2017 (accessed September 14 2020). Signal App. https:\/\/signal.org\/en\/.  Signal App. 2017 (accessed September 14 2020). Signal App. https:\/\/signal.org\/en\/."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38980-1_8"},{"key":"e_1_3_2_1_10_1","volume-title":"26th USENIX Security Symposium (USENIX Security 17)","author":"Banescu Sebastian","year":"2017","unstructured":"Sebastian Banescu , Christian Collberg , and Alexander Pretschner . 2017 . Predicting the Resilience of Obfuscated Code Against Symbolic Execution Attacks via Machine Learning . In 26th USENIX Security Symposium (USENIX Security 17) . USENIX Association, Vancouver, BC, 661\u2013678. https:\/\/www.usenix.org\/conference\/usenixsecurity17\/technical-sessions\/presentation\/banescu Sebastian Banescu, Christian Collberg, and Alexander Pretschner. 2017. Predicting the Resilience of Obfuscated Code Against Symbolic Execution Attacks via Machine Learning. In 26th USENIX Security Symposium (USENIX Security 17). USENIX Association, Vancouver, BC, 661\u2013678. https:\/\/www.usenix.org\/conference\/usenixsecurity17\/technical-sessions\/presentation\/banescu"},{"key":"e_1_3_2_1_11_1","volume-title":"RSA Conference. Springer, 180\u2013196","author":"Barthe Gilles","year":"2011","unstructured":"Gilles Barthe , Benjamin Gr\u00e9goire , Yassine Lakhnech , and Santiago\u00a0Zanella B\u00e9guelin . 2011 . Beyond provable security verifiable IND-CCA security of OAEP. In Cryptographers\u2019 Track at the RSA Conference. Springer, 180\u2013196 . Gilles Barthe, Benjamin Gr\u00e9goire, Yassine Lakhnech, and Santiago\u00a0Zanella B\u00e9guelin. 2011. Beyond provable security verifiable IND-CCA security of OAEP. In Cryptographers\u2019 Track at the RSA Conference. Springer, 180\u2013196."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3007788.3007792"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25385-0_26"},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of 27th USENIX Security Symposium.","author":"Biondo Andrea","year":"2018","unstructured":"Andrea Biondo , Mauro Conti , Lucas Davi , Tommaso Frassetto , and Ahmad-Reza Sadeghi . 2018 . The guard\u2019s dilemma: Efficient code-reuse attacks against intel sgx . In Proceedings of 27th USENIX Security Symposium. Andrea Biondo, Mauro Conti, Lucas Davi, Tommaso Frassetto, and Ahmad-Reza Sadeghi. 2018. The guard\u2019s dilemma: Efficient code-reuse attacks against intel sgx. In Proceedings of 27th USENIX Security Symposium."},{"key":"e_1_3_2_1_15_1","unstructured":"Dan Bogdanov. 2018 (accessed September 14 2020). Dashlane and Intel join forces to bring built-in password protection to PCs. https:\/\/sharemind.cyber.ee\/introducing-sharemind-hi\/.  Dan Bogdanov. 2018 (accessed September 14 2020). Dashlane and Intel join forces to bring built-in password protection to PCs. https:\/\/sharemind.cyber.ee\/introducing-sharemind-hi\/."},{"key":"e_1_3_2_1_16_1","volume-title":"Software Grand Exposure: SGX Cache Attacks Are Practical. In 11th USENIX Workshop on Offensive Technologies (WOOT 17)","author":"Brasser Ferdinand","year":"2017","unstructured":"Ferdinand Brasser , Urs M\u00fcller , Alexandra Dmitrienko , Kari Kostiainen , Srdjan Capkun , and Ahmad-Reza Sadeghi . 2017 . Software Grand Exposure: SGX Cache Attacks Are Practical. In 11th USENIX Workshop on Offensive Technologies (WOOT 17) . USENIX Association, Vancouver, BC. https:\/\/www.usenix.org\/conference\/woot17\/workshop-program\/presentation\/brasser Ferdinand Brasser, Urs M\u00fcller, Alexandra Dmitrienko, Kari Kostiainen, Srdjan Capkun, and Ahmad-Reza Sadeghi. 2017. Software Grand Exposure: SGX Cache Attacks Are Practical. In 11th USENIX Workshop on Offensive Technologies (WOOT 17). USENIX Association, Vancouver, BC. https:\/\/www.usenix.org\/conference\/woot17\/workshop-program\/presentation\/brasser"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480917"},{"key":"e_1_3_2_1_18_1","volume-title":"USENIX Security Symposium. 385\u2013399","author":"Carlini Nicholas","year":"2014","unstructured":"Nicholas Carlini and David Wagner . 2014 . ROP is Still Dangerous: Breaking Modern Defenses .. In USENIX Security Symposium. 385\u2013399 . Nicholas Carlini and David Wagner. 2014. ROP is Still Dangerous: Breaking Modern Defenses.. In USENIX Security Symposium. 385\u2013399."},{"key":"e_1_3_2_1_19_1","volume-title":"Civet: An Efficient Java Partitioning Framework for Hardware Enclaves. In 29th USENIX Security Symposium (USENIX Security 20)","author":"Tsai Chia","year":"2020","unstructured":"Chia che Tsai , Jeongseok Son , Bhushan Jain , John McAvey , Raluca\u00a0Ada Popa , and Donald\u00a0 E. Porter . 2020 . Civet: An Efficient Java Partitioning Framework for Hardware Enclaves. In 29th USENIX Security Symposium (USENIX Security 20) . USENIX Association, 505\u2013522. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/tsai Chia che Tsai, Jeongseok Son, Bhushan Jain, John McAvey, Raluca\u00a0Ada Popa, and Donald\u00a0E. Porter. 2020. Civet: An Efficient Java Partitioning Framework for Hardware Enclaves. In 29th USENIX Security Symposium (USENIX Security 20). USENIX Association, 505\u2013522. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/tsai"},{"key":"e_1_3_2_1_20_1","volume-title":"Non-Control-Data Attacks Are Realistic Threats. In 14th USENIX Security Symposium (USENIX Security 05)","author":"Chen Shuo","year":"2005","unstructured":"Shuo Chen , Jun Xu , and Emre\u00a0 C. Sezer . 2005 . Non-Control-Data Attacks Are Realistic Threats. In 14th USENIX Security Symposium (USENIX Security 05) . USENIX Association, Baltimore, MD. https:\/\/www.usenix.org\/conference\/14th-usenix-security-symposium\/non-control-data-attacks-are-realistic-threats Shuo Chen, Jun Xu, and Emre\u00a0C. Sezer. 2005. Non-Control-Data Attacks Are Realistic Threats. In 14th USENIX Security Symposium (USENIX Security 05). USENIX Association, Baltimore, MD. https:\/\/www.usenix.org\/conference\/14th-usenix-security-symposium\/non-control-data-attacks-are-realistic-threats"},{"key":"e_1_3_2_1_21_1","volume-title":"TeeRex: Discovery and Exploitation of Memory Corruption Vulnerabilities in SGX Enclaves. In 29th USENIX Security Symposium (USENIX Security 20)","author":"Cloosters Tobias","year":"2020","unstructured":"Tobias Cloosters , Michael Rodler , and Lucas Davi . 2020 . TeeRex: Discovery and Exploitation of Memory Corruption Vulnerabilities in SGX Enclaves. In 29th USENIX Security Symposium (USENIX Security 20) . USENIX Association, 841\u2013858. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/cloosters Tobias Cloosters, Michael Rodler, and Lucas Davi. 2020. TeeRex: Discovery and Exploitation of Memory Corruption Vulnerabilities in SGX Enclaves. In 29th USENIX Security Symposium (USENIX Security 20). USENIX Association, 841\u2013858. https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/cloosters"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115671"},{"key":"e_1_3_2_1_23_1","volume-title":"IACR Cryptology ePrint Archive","author":"Costan Victor","year":"2016","unstructured":"Victor Costan and Srinivas Devadas . 2016. Intel SGX Explained. IACR Cryptology ePrint Archive 2016 , 086 (2016), 1\u2013118. Victor Costan and Srinivas Devadas. 2016. Intel SGX Explained.IACR Cryptology ePrint Archive 2016, 086 (2016), 1\u2013118."},{"key":"e_1_3_2_1_24_1","unstructured":"Jinhua Cui Jason\u00a0Zhijingcheng Yu Shweta Shinde Prateek Saxena and Zhiping Cai. 2021. SmashEx: Smashing SGX Enclaves Using Exceptions. arXiv preprint arXiv:2110.06657(2021).  Jinhua Cui Jason\u00a0Zhijingcheng Yu Shweta Shinde Prateek Saxena and Zhiping Cai. 2021. SmashEx: Smashing SGX Enclaves Using Exceptions. arXiv preprint arXiv:2110.06657(2021)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.14778\/2732240.2732246"},{"key":"e_1_3_2_1_26_1","volume-title":"26th {USENIX} Security Symposium ({USENIX} Security 17). 131\u2013148.","author":"Ding Ren","unstructured":"Ren Ding , Chenxiong Qian , Chengyu Song , Bill Harris , Taesoo Kim , and Wenke Lee . 2017. Efficient protection of path-sensitive control security . In 26th {USENIX} Security Symposium ({USENIX} Security 17). 131\u2013148. Ren Ding, Chenxiong Qian, Chengyu Song, Bill Harris, Taesoo Kim, and Wenke Lee. 2017. Efficient protection of path-sensitive control security. In 26th {USENIX} Security Symposium ({USENIX} Security 17). 131\u2013148."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2017.38"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2016.147"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813646"},{"key":"e_1_3_2_1_31_1","volume-title":"International Conference on Applied Cryptography and Network Security.","author":"Flavio Toffalini","year":"2021","unstructured":"Toffalini Flavio , Graziano Mariano , Conti Mauro , and Zhou Jianying . 2021 . SnakeGX: a sneaky attack against SGX Enclaves . In International Conference on Applied Cryptography and Network Security. Toffalini Flavio, Graziano Mariano, Conti Mauro, and Zhou Jianying. 2021. SnakeGX: a sneaky attack against SGX Enclaves. In International Conference on Applied Cryptography and Network Security."},{"key":"e_1_3_2_1_32_1","unstructured":"Fortanix. 2018 (accessed September 14 2020). Secure enclaves & Intel\u00aeSGX. https:\/\/edp.fortanix.com\/docs\/concepts\/sgx\/.  Fortanix. 2018 (accessed September 14 2020). Secure enclaves & Intel\u00aeSGX. https:\/\/edp.fortanix.com\/docs\/concepts\/sgx\/."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3065913.3065915"},{"key":"e_1_3_2_1_34_1","volume-title":"Intel sha extensions\u2013new instructions supporting the secure hash algorithm on intel architecture processor. Intel White Paper","author":"Gulley Sean","year":"2013","unstructured":"Sean Gulley , Vinodh Gopal , Kirk Yap , Wajdi Feghali , J Guilford , and Gil Wolrich . 2013. Intel sha extensions\u2013new instructions supporting the secure hash algorithm on intel architecture processor. Intel White Paper ( 2013 ). Sean Gulley, Vinodh Gopal, Kirk Yap, Wajdi Feghali, J Guilford, and Gil Wolrich. 2013. Intel sha extensions\u2013new instructions supporting the secure hash algorithm on intel architecture processor. Intel White Paper (2013)."},{"key":"e_1_3_2_1_35_1","volume-title":"High-Resolution Side Channels for Untrusted Operating Systems. In 2017 USENIX Annual Technical Conference (USENIX ATC 17)","author":"H\u00e4hnel Marcus","year":"2017","unstructured":"Marcus H\u00e4hnel , Weidong Cui , and Marcus Peinado . 2017 . High-Resolution Side Channels for Untrusted Operating Systems. In 2017 USENIX Annual Technical Conference (USENIX ATC 17) . USENIX Association, Santa Clara, CA, 299\u2013312. https:\/\/www.usenix.org\/conference\/atc17\/technical-sessions\/presentation\/hahnel Marcus H\u00e4hnel, Weidong Cui, and Marcus Peinado. 2017. High-Resolution Side Channels for Untrusted Operating Systems. In 2017 USENIX Annual Technical Conference (USENIX ATC 17). USENIX Association, Santa Clara, CA, 299\u2013312. https:\/\/www.usenix.org\/conference\/atc17\/technical-sessions\/presentation\/hahnel"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2020.24046"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"Roarke Horstmeyer Benjamin Judkewitz Ivo\u00a0M Vellekoop Sid Assawaworrarit and Changhuei Yang. 2013. Physical key-protected one-time pad. Scientific reports 3(2013) 3543.  Roarke Horstmeyer Benjamin Judkewitz Ivo\u00a0M Vellekoop Sid Assawaworrarit and Changhuei Yang. 2013. Physical key-protected one-time pad. Scientific reports 3(2013) 3543.","DOI":"10.1038\/srep03543"},{"key":"e_1_3_2_1_38_1","volume-title":"24th {USENIX} Security Symposium ({USENIX} Security 15). 177\u2013192.","author":"Hu Hong","unstructured":"Hong Hu , Zheng\u00a0Leong Chua , Sendroiu Adrian , Prateek Saxena , and Zhenkai Liang . 2015. Automatic generation of data-oriented exploits . In 24th {USENIX} Security Symposium ({USENIX} Security 15). 177\u2013192. Hong Hu, Zheng\u00a0Leong Chua, Sendroiu Adrian, Prateek Saxena, and Zhenkai Liang. 2015. Automatic generation of data-oriented exploits. In 24th {USENIX} Security Symposium ({USENIX} Security 15). 177\u2013192."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243797"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/11496137_29"},{"key":"e_1_3_2_1_41_1","unstructured":"Intel. 2014 (accessed September 14 2020). Intel\u00ae Software Guard Extensions Programming Reference. https:\/\/software.intel.com\/sites\/default\/files\/managed\/48\/88\/329298-002.pdf.  Intel. 2014 (accessed September 14 2020). Intel\u00ae Software Guard Extensions Programming Reference. https:\/\/software.intel.com\/sites\/default\/files\/managed\/48\/88\/329298-002.pdf."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2021.3098977"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_44_1","unstructured":"Andi Kleen and Beeman Strong. 2015. Intel processor trace on linux. Tracing Summit 2015(2015).  Andi Kleen and Beeman Strong. 2015. Intel processor trace on linux. Tracing Summit 2015(2015)."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00002"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064192"},{"key":"e_1_3_2_1_47_1","unstructured":"Oasis Labs. 2018 (accessed September 14 2020). Cleanrooms & Secure Enclaves. https:\/\/www.oasislabs.com\/cleanrooms-secure-enclaves.  Oasis Labs. 2018 (accessed September 14 2020). Cleanrooms & Secure Enclaves. https:\/\/www.oasislabs.com\/cleanrooms-secure-enclaves."},{"key":"e_1_3_2_1_48_1","unstructured":"Jaehyuk Lee Jinsoo Jang Yeongjin Jang Nohyun Kwak Yeseul Choi Changho Choi Taesoo Kim Marcus Peinado and Brent\u00a0B Kang. 2017. Hacking in darkness: Return-oriented programming against secure enclaves. In USENIX Security. 523\u2013539.  Jaehyuk Lee Jinsoo Jang Yeongjin Jang Nohyun Kwak Yeseul Choi Changho Choi Taesoo Kim Marcus Peinado and Brent\u00a0B Kang. 2017. Hacking in darkness: Return-oriented programming against secure enclaves. In USENIX Security. 523\u2013539."},{"key":"e_1_3_2_1_49_1","unstructured":"Kyu\u00a0Hyung Lee Xiangyu Zhang and Dongyan Xu. 2013. High Accuracy Attack Provenance via Binary-based Execution Partition.. In NDSS. 16.  Kyu\u00a0Hyung Lee Xiangyu Zhang and Dongyan Xu. 2013. High Accuracy Attack Provenance via Binary-based Execution Partition.. In NDSS. 16."},{"key":"e_1_3_2_1_50_1","volume-title":"Glamdring: Automatic Application Partitioning for Intel SGX. In 2017 USENIX Annual Technical Conference (USENIX ATC 17)","author":"Lind Joshua","year":"2017","unstructured":"Joshua Lind , Christian Priebe , Divya Muthukumaran , Dan O\u2019Keeffe , Pierre-Louis Aublin , Florian Kelbert , Tobias Reiher , David Goltzsche , David Eyers , R\u00fcdiger Kapitza , Christof Fetzer , and Peter Pietzuch . 2017 . Glamdring: Automatic Application Partitioning for Intel SGX. In 2017 USENIX Annual Technical Conference (USENIX ATC 17) . USENIX Association, Santa Clara, CA, 285\u2013298. https:\/\/www.usenix.org\/conference\/atc17\/technical-sessions\/presentation\/lind Joshua Lind, Christian Priebe, Divya Muthukumaran, Dan O\u2019Keeffe, Pierre-Louis Aublin, Florian Kelbert, Tobias Reiher, David Goltzsche, David Eyers, R\u00fcdiger Kapitza, Christof Fetzer, and Peter Pietzuch. 2017. Glamdring: Automatic Application Partitioning for Intel SGX. In 2017 USENIX Annual Technical Conference (USENIX ATC 17). USENIX Association, Santa Clara, CA, 285\u2013298. https:\/\/www.usenix.org\/conference\/atc17\/technical-sessions\/presentation\/lind"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3354244"},{"key":"e_1_3_2_1_52_1","volume-title":"26th {USENIX} Security Symposium ({USENIX} Security 17). 1111\u20131128.","author":"Ma Shiqing","unstructured":"Shiqing Ma , Juan Zhai , Fei Wang , Kyu\u00a0Hyung Lee , Xiangyu Zhang , and Dongyan Xu. 2017. {MPI} : Multiple perspective attack investigation with semantic aware execution partitioning . In 26th {USENIX} Security Symposium ({USENIX} Security 17). 1111\u20131128. Shiqing Ma, Juan Zhai, Fei Wang, Kyu\u00a0Hyung Lee, Xiangyu Zhang, and Dongyan Xu. 2017. {MPI}: Multiple perspective attack investigation with semantic aware execution partitioning. In 26th {USENIX} Security Symposium ({USENIX} Security 17). 1111\u20131128."},{"key":"e_1_3_2_1_53_1","volume-title":"Protracer: Towards Practical Provenance Tracing by Alternating Between Logging and Tainting.. In NDSS.","author":"Ma Shiqing","year":"2016","unstructured":"Shiqing Ma , Xiangyu Zhang , and Dongyan Xu . 2016 . Protracer: Towards Practical Provenance Tracing by Alternating Between Logging and Tainting.. In NDSS. Shiqing Ma, Xiangyu Zhang, and Dongyan Xu. 2016. Protracer: Towards Practical Provenance Tracing by Alternating Between Logging and Tainting.. In NDSS."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447852.3458716"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66787-4_4"},{"key":"e_1_3_2_1_56_1","volume-title":"PostgreSQL: introduction and concepts. Vol.\u00a0192","author":"Momjian Bruce","unstructured":"Bruce Momjian . 2001. PostgreSQL: introduction and concepts. Vol.\u00a0192 . Addison-Wesley New York . Bruce Momjian. 2001. PostgreSQL: introduction and concepts. Vol.\u00a0192. Addison-Wesley New York."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"crossref","unstructured":"Mathias Morbitzer Benedikt Kopf and Philipp Zieris. 2022. GuaranTEE: Introducing Control-Flow Attestation for Trusted Execution Environments. arXiv preprint arXiv:2202.07380(2022).  Mathias Morbitzer Benedikt Kopf and Philipp Zieris. 2022. GuaranTEE: Introducing Control-Flow Attestation for Trusted Execution Environments. arXiv preprint arXiv:2202.07380(2022).","DOI":"10.1109\/CLOUD60044.2023.00073"},{"key":"e_1_3_2_1_58_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems, Nir Piterman and Scott\u00a0A","author":"Morse Jeremy","unstructured":"Jeremy Morse , Lucas Cordeiro , Denis Nicole , and Bernd Fischer . 2013. Handling Unbounded Loops with ESBMC 1.20 . In Tools and Algorithms for the Construction and Analysis of Systems, Nir Piterman and Scott\u00a0A . Smolka (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 619\u2013622. Jeremy Morse, Lucas Cordeiro, Denis Nicole, and Bernd Fischer. 2013. Handling Unbounded Loops with ESBMC 1.20. In Tools and Algorithms for the Construction and Analysis of Systems, Nir Piterman and Scott\u00a0A. Smolka (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 619\u2013622."},{"key":"e_1_3_2_1_59_1","unstructured":"Moxie0. 2017 (accessed September 14 2020). Technology preview: Private contact discovery for Signal. https:\/\/signal.org\/blog\/private-contact-discovery\/.  Moxie0. 2017 (accessed September 14 2020). Technology preview: Private contact discovery for Signal. https:\/\/signal.org\/blog\/private-contact-discovery\/."},{"key":"e_1_3_2_1_60_1","unstructured":"Malaika Nicholas. 2017 (accessed September 14 2020). Dashlane and Intel join forces to bring built-in password protection to PCs. https:\/\/blog.dashlane.com\/dashlane-intel-sgx-bring-built-password-protection-to-pcs\/.  Malaika Nicholas. 2017 (accessed September 14 2020). Dashlane and Intel join forces to bring built-in password protection to PCs. https:\/\/blog.dashlane.com\/dashlane-intel-sgx-bring-built-password-protection-to-pcs\/."},{"key":"e_1_3_2_1_61_1","unstructured":"VideoLAN organization. 2009 (accessed September 24 2020). VLC media player. https:\/\/www.videolan.org\/.  VideoLAN organization. 2009 (accessed September 24 2020). VLC media player. https:\/\/www.videolan.org\/."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243776"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/1460299.1460314"},{"key":"e_1_3_2_1_64_1","unstructured":"Carlos Rozas. 2013. Intel\u00ae Software Guard Extensions (Intel\u00ae SGX). (2013).  Carlos Rozas. 2013. Intel\u00ae Software Guard Extensions (Intel\u00ae SGX). (2013)."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.5555\/1332044.1332098"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.10"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.51"},{"key":"e_1_3_2_1_68_1","unstructured":"Shweta Shinde Shengyi Wang Pinghai Yuan Aquinas Hobor Abhik Roychoudhury and Prateek Saxena. 2020. BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. In USENIX Security.  Shweta Shinde Shengyi Wang Pinghai Yuan Aquinas Hobor Abhik Roychoudhury and Prateek Saxena. 2020. BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. In USENIX Security."},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"crossref","unstructured":"Yan Shoshitaishvili Ruoyu Wang Christophe Hauser Christopher Kruegel and Giovanni Vigna. 2015. Firmalice - Automatic Detection of Authentication Bypass Vulnerabilities in Binary Firmware. (2015).  Yan Shoshitaishvili Ruoyu Wang Christophe Hauser Christopher Kruegel and Giovanni Vigna. 2015. Firmalice - Automatic Detection of Authentication Bypass Vulnerabilities in Binary Firmware. (2015).","DOI":"10.14722\/ndss.2015.23294"},{"key":"e_1_3_2_1_70_1","volume-title":"25th USENIX Security Symposium (USENIX Security 16)","author":"Strackx Raoul","year":"2016","unstructured":"Raoul Strackx and Frank Piessens . 2016 . Ariadne: A Minimal Approach to State Continuity . In 25th USENIX Security Symposium (USENIX Security 16) . USENIX Association, Austin, TX, 875\u2013892. https:\/\/www.usenix.org\/conference\/usenixsecurity16\/technical-sessions\/presentation\/strackx Raoul Strackx and Frank Piessens. 2016. Ariadne: A Minimal Approach to State Continuity. In 25th USENIX Security Symposium (USENIX Security 16). USENIX Association, Austin, TX, 875\u2013892. https:\/\/www.usenix.org\/conference\/usenixsecurity16\/technical-sessions\/presentation\/strackx"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/3268935.3268942"},{"key":"e_1_3_2_1_72_1","volume-title":"ScaRR: Scalable Runtime Remote Attestation for Complex Systems. In 22nd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2019","author":"Toffalini Flavio","year":"2019","unstructured":"Flavio Toffalini , Eleonora Losiouk , Andrea Biondo , Jianying Zhou , and Mauro Conti . 2019 . ScaRR: Scalable Runtime Remote Attestation for Complex Systems. In 22nd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2019 ). USENIX Association, Chaoyang District, Beijing, 121\u2013134. https:\/\/www.usenix.org\/conference\/raid 2019\/presentation\/toffalini Flavio Toffalini, Eleonora Losiouk, Andrea Biondo, Jianying Zhou, and Mauro Conti. 2019. ScaRR: Scalable Runtime Remote Attestation for Complex Systems. In 22nd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2019). USENIX Association, Chaoyang District, Beijing, 121\u2013134. https:\/\/www.usenix.org\/conference\/raid2019\/presentation\/toffalini"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/3292006.3300029"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.fsidi.2021.301313"},{"key":"e_1_3_2_1_75_1","unstructured":"Jordan Tuzsuzov. 2005 (accessed April 4 2021). Biniax-2. http:\/\/www.tuzsuzov.com\/biniax\/index2.html.  Jordan Tuzsuzov. 2005 (accessed April 4 2021). Biniax-2. http:\/\/www.tuzsuzov.com\/biniax\/index2.html."},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00089"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363206"},{"key":"e_1_3_2_1_78_1","volume-title":"26th {USENIX} Security Symposium ({USENIX} Security 17). 1041\u20131056.","author":"Van\u00a0Bulck Jo","unstructured":"Jo Van\u00a0Bulck , Nico Weichbrodt , R\u00fcdiger Kapitza , Frank Piessens , and Raoul Strackx . 2017. Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution . In 26th {USENIX} Security Symposium ({USENIX} Security 17). 1041\u20131056. Jo Van\u00a0Bulck, Nico Weichbrodt, R\u00fcdiger Kapitza, Frank Piessens, and Raoul Strackx. 2017. Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution. In 26th {USENIX} Security Symposium ({USENIX} Security 17). 1041\u20131056."},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2019.00031"},{"key":"e_1_3_2_1_80_1","unstructured":"VideoLAN. 2017 (accessed September 14 2020). libdvdcss. https:\/\/code.videolan.org\/videolan\/libdvdcss.  VideoLAN. 2017 (accessed September 14 2020). libdvdcss. https:\/\/code.videolan.org\/videolan\/libdvdcss."},{"key":"e_1_3_2_1_81_1","unstructured":"Hiie Vill. 2017. SGX attestation process.  Hiie Vill. 2017. SGX attestation process."},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.2478\/popets-2019-0052"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3354241"},{"key":"e_1_3_2_1_84_1","unstructured":"Tielei Wang Tao Wei Zhiqiang Lin and Wei Zou. 2009. IntScope: Automatically Detecting Integer Overflow Vulnerability in X86 Binary Using Symbolic Execution.. In NDSS. Citeseer.  Tielei Wang Tao Wei Zhiqiang Lin and Wei Zou. 2009. IntScope: Automatically Detecting Integer Overflow Vulnerability in X86 Binary Using Symbolic Execution.. In NDSS. Citeseer."},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134038"},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14623-7_17"},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"e_1_3_2_1_88_1","volume-title":"Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems. In 2015 IEEE Symposium on Security and Privacy. 640\u2013656","author":"Xu Y.","unstructured":"Y. Xu , W. Cui , and M. Peinado . 2015 . Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems. In 2015 IEEE Symposium on Security and Privacy. 640\u2013656 . Y. Xu, W. Cui, and M. Peinado. 2015. Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems. In 2015 IEEE Symposium on Security and Privacy. 640\u2013656."},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"crossref","unstructured":"Le Yu Shiqing Ma Zhuo Zhang Guanhong Tao Xiangyu Zhang Dongyan Xu Vincent\u00a0E Urias Han\u00a0Wei Lin Gabriela Ciocarlie Vinod Yegneswaran 2021. ALchemist: Fusing Application and Audit Logs for Precise Attack Provenance without Instrumentation. (2021).  Le Yu Shiqing Ma Zhuo Zhang Guanhong Tao Xiangyu Zhang Dongyan Xu Vincent\u00a0E Urias Han\u00a0Wei Lin Gabriela Ciocarlie Vinod Yegneswaran 2021. ALchemist: Fusing Application and Audit Logs for Precise Attack Provenance without Instrumentation. (2021).","DOI":"10.14722\/ndss.2021.24445"},{"key":"e_1_3_2_1_90_1","volume-title":"HardStack: Prevent Stack Buffer Overflow Attack with LBR. In 2019 International Conference on Intelligent Computing, Automation and Systems (ICICAS). 888\u2013892","author":"Zhou H.","unstructured":"H. Zhou , K. Kang , and J. Yuan . 2019 . HardStack: Prevent Stack Buffer Overflow Attack with LBR. In 2019 International Conference on Intelligent Computing, Automation and Systems (ICICAS). 888\u2013892 . H. Zhou, K. Kang, and J. Yuan. 2019. HardStack: Prevent Stack Buffer Overflow Attack with LBR. In 2019 International Conference on Intelligent Computing, Automation and Systems (ICICAS). 888\u2013892."},{"key":"e_1_3_2_1_91_1","volume-title":"SMILE: Secure Memory Introspection for Live Enclave. In 2022 IEEE Symposium on Security and Privacy (SP). IEEE Computer Society, 1536\u20131536","author":"Zhou Lei","year":"2022","unstructured":"Lei Zhou , Xuhua Ding , and Fengwei Zhang . 2022 . SMILE: Secure Memory Introspection for Live Enclave. In 2022 IEEE Symposium on Security and Privacy (SP). IEEE Computer Society, 1536\u20131536 . Lei Zhou, Xuhua Ding, and Fengwei Zhang. 2022. SMILE: Secure Memory Introspection for Live Enclave. In 2022 IEEE Symposium on Security and Privacy (SP). IEEE Computer Society, 1536\u20131536."}],"event":{"name":"ACSAC: Annual Computer Security Applications Conference","location":"Austin TX USA","acronym":"ACSAC"},"container-title":["Proceedings of the 38th Annual Computer Security Applications Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3564625.3567994","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3564625.3567994","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:12Z","timestamp":1750183752000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3564625.3567994"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,5]]},"references-count":91,"alternative-id":["10.1145\/3564625.3567994","10.1145\/3564625"],"URL":"https:\/\/doi.org\/10.1145\/3564625.3567994","relation":{},"subject":[],"published":{"date-parts":[[2022,12,5]]},"assertion":[{"value":"2022-12-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}