{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T22:38:39Z","timestamp":1782859119426,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":66,"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\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3548606.3560595","type":"proceedings-article","created":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T11:41:28Z","timestamp":1667821288000},"page":"1871-1885","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Cerberus"],"prefix":"10.1145","author":[{"given":"Dayeol","family":"Lee","sequence":"first","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kevin","family":"Cheang","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexander","family":"Thomas","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Catherine","family":"Lu","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pranav","family":"Gaddamadugu","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anjo","family":"Vahldiek-Oberwagner","sequence":"additional","affiliation":[{"name":"Intel Labs, Hillsboro, OR, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mona","family":"Vij","sequence":"additional","affiliation":[{"name":"Intel Labs, Hillsboro, OR, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dawn","family":"Song","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sanjit A.","family":"Seshia","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Krste","family":"Asanovic","sequence":"additional","affiliation":[{"name":"University of California, Berkeley, Berkeley, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,11,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n.d.]. AWS SageMaker. https:\/\/aws.amazon.com\/pm\/sagemaker.  [n.d.]. AWS SageMaker. https:\/\/aws.amazon.com\/pm\/sagemaker."},{"key":"e_1_3_2_1_2_1","unstructured":"[n.d.]. Fission.io. https:\/\/fission.io\/.  [n.d.]. Fission.io. https:\/\/fission.io\/."},{"key":"e_1_3_2_1_3_1","unstructured":"[n.d.]. Huggingface. https:\/\/huggingface.co\/.  [n.d.]. Huggingface. https:\/\/huggingface.co\/."},{"key":"e_1_3_2_1_4_1","unstructured":"[n.d.]. OpenFaaS. https:\/\/www.openfaas.com\/.  [n.d.]. OpenFaaS. https:\/\/www.openfaas.com\/."},{"key":"e_1_3_2_1_5_1","unstructured":"[n.d.]. Ray Serve. https:\/\/www.ray.io\/ray-serve.  [n.d.]. Ray Serve. https:\/\/www.ray.io\/ray-serve."},{"key":"e_1_3_2_1_6_1","unstructured":"2013. ARM TrustZone. https:\/\/www.arm.com\/products\/security-on-arm\/trustz one.  2013. ARM TrustZone. https:\/\/www.arm.com\/products\/security-on-arm\/trustz one."},{"key":"e_1_3_2_1_7_1","unstructured":"2017. RV8 Benchmark. https:\/\/github.com\/michaeljclark\/rv8-bench.  2017. RV8 Benchmark. https:\/\/github.com\/michaeljclark\/rv8-bench."},{"key":"e_1_3_2_1_8_1","unstructured":"2020. HiFive Unleashed. https:\/\/www.sifive.com\/boards\/hifive-unleashed.  2020. HiFive Unleashed. https:\/\/www.sifive.com\/boards\/hifive-unleashed."},{"key":"e_1_3_2_1_9_1","unstructured":"2021. Gramine. https:\/\/github.com\/gramineproject\/gramine.  2021. Gramine. https:\/\/github.com\/gramineproject\/gramine."},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. of Network and Distributed System Security Symposium (NDSS).","author":"Ahmad Adil","year":"2021","unstructured":"Adil Ahmad , Juhee Kim , Jaebaek Seo , Insik Shin , Pedro Fonseca , and Byoungyoung Lee . 2021 . Chancel: efficient multi-client isolation under adversarial pro- grams . In Proc. of Network and Distributed System Security Symposium (NDSS). Adil Ahmad, Juhee Kim, Jaebaek Seo, Insik Shin, Pedro Fonseca, and Byoungyoung Lee. 2021. Chancel: efficient multi-client isolation under adversarial pro- grams. In Proc. of Network and Distributed System Security Symposium (NDSS)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872404"},{"key":"e_1_3_2_1_12_1","unstructured":"Krste Asanovi\u0107 Andrew Waterman. 2021. The RISC-V Instruction Set Manual Volume II: Privileged Architecture. https:\/\/github.com\/riscv\/riscv-isa-manual\/releases\/download\/Priv-v1.12\/riscv-privileged-20211203.pdf.  Krste Asanovi\u0107 Andrew Waterman. 2021. The RISC-V Instruction Set Manual Volume II: Privileged Architecture. https:\/\/github.com\/riscv\/riscv-isa-manual\/releases\/download\/Priv-v1.12\/riscv-privileged-20211203.pdf."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99524-9_24"},{"key":"e_1_3_2_1_14_1","volume-title":"Robert DeLIne, Bart Jacobs, and Rustan Leino.","author":"Barnett Mike","year":"2005","unstructured":"Mike Barnett , Bor-Yuh Evan Chang , Robert DeLIne, Bart Jacobs, and Rustan Leino. 2005 . Boogie : A Modular Reusable Verifier for Object-Oriented Programs. In FMCO 2005 (fmco 2005 ed.). Springer Berlin Heidelberg . https:\/\/www.micros oft.com\/en-us\/research\/publication\/boogie-a-modular-reusable-verifier-for- object-oriented-programs\/ Mike Barnett, Bor-Yuh Evan Chang, Robert DeLIne, Bart Jacobs, and Rustan Leino. 2005. Boogie: A Modular Reusable Verifier for Object-Oriented Programs. In FMCO 2005 (fmco 2005 ed.). Springer Berlin Heidelberg. https:\/\/www.micros oft.com\/en-us\/research\/publication\/boogie-a-modular-reusable-verifier-for- object-oriented-programs\/"},{"key":"e_1_3_2_1_15_1","volume-title":"Jeffrey","author":"Boolos George S.","year":"2007","unstructured":"George S. Boolos , John P. Burgess , and Richard C . Jeffrey . 2007 . The Undecidability of First-Order Logic (5 ed.). Cambridge University Press , 126--136. https:\/\/doi.or g\/10.1017\/CBO9780511804076.012 George S. Boolos, John P. Burgess, and Richard C. Jeffrey. 2007. The Undecidability of First-Order Logic (5 ed.). Cambridge University Press, 126--136. https:\/\/doi.or g\/10.1017\/CBO9780511804076.012"},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. of USENIX Security Symposium.","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 Proc. of USENIX Security Symposium. 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 Proc. of USENIX Security Symposium."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3363219"},{"key":"e_1_3_2_1_18_1","volume-title":"Proc. of USENIX Anual Technical Conference (ATC).","author":"Tsai Chia","year":"2017","unstructured":"Chia che Tsai , Donald E. Porter , and Mona Vij . 2017 . Graphene-SGX: A Practical Library OS for Unmodified Applications on SGX . In Proc. of USENIX Anual Technical Conference (ATC). Chia che Tsai, Donald E. Porter, and Mona Vij. 2017. Graphene-SGX: A Practical Library OS for Unmodified Applications on SGX. In Proc. of USENIX Anual Technical Conference (ATC)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2019.00027"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3144555.3144556"},{"key":"e_1_3_2_1_21_1","volume-title":"Hyperproperties. In 2008 21st IEEE Computer Security Foundations Symposium. 51--65","author":"Michael","year":"2008","unstructured":"Michael R. Clarkson and Fred B. Schneider. 2008 . Hyperproperties. In 2008 21st IEEE Computer Security Foundations Symposium. 51--65 . https:\/\/doi.org\/10.1109\/ CSF. 2008 .7 Michael R. Clarkson and Fred B. Schneider. 2008. Hyperproperties. In 2008 21st IEEE Computer Security Foundations Symposium. 51--65. https:\/\/doi.org\/10.1109\/ CSF.2008.7"},{"key":"e_1_3_2_1_23_1","volume-title":"Proc. of USENIX Security Symposium.","author":"Costan Victor","year":"2016","unstructured":"Victor Costan , Ilia Lebedev , and Srinivas Devadas . 2016 . Sanctum: Minimal Hardware Extensions for Strong Software Isolation . In Proc. of USENIX Security Symposium. Victor Costan, Ilia Lebedev, and Srinivas Devadas. 2016. Sanctum: Minimal Hardware Extensions for Strong Software Isolation. In Proc. of USENIX Security Symposium."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132782"},{"key":"e_1_3_2_1_26_1","volume-title":"Hardware-Software Contracts for Secure Speculation. In 2021 IEEE Symposium on Security and Privacy (SP). 1868--1883","author":"Guarnieri Marco","year":"2021","unstructured":"Marco Guarnieri , Boris K\u00f6pf , Jan Reineke , and Pepe Vila . 2021 . Hardware-Software Contracts for Secure Speculation. In 2021 IEEE Symposium on Security and Privacy (SP). 1868--1883 . https:\/\/doi.org\/10.1109\/SP40001.2021.00036 10.1109\/SP40001.2021.00036 Marco Guarnieri, Boris K\u00f6pf, Jan Reineke, and Pepe Vila. 2021. Hardware-Software Contracts for Secure Speculation. In 2021 IEEE Symposium on Security and Privacy (SP). 1868--1883. https:\/\/doi.org\/10.1109\/SP40001.2021.00036"},{"key":"e_1_3_2_1_27_1","volume-title":"Proc. of USENIX Security Symposium. https:\/\/www.usenix.org\/conference\/usenixsecu rity21\/presentation\/jangid","author":"Jangid Mohit Kumar","year":"2021","unstructured":"Mohit Kumar Jangid , Guoxing Chen , Yinqian Zhang , and Zhiqiang Lin . 2021 . Towards Formal Verification of State Continuity for Enclave Programs . In Proc. of USENIX Security Symposium. https:\/\/www.usenix.org\/conference\/usenixsecu rity21\/presentation\/jangid Mohit Kumar Jangid, Guoxing Chen, Yinqian Zhang, and Zhiqiang Lin. 2021. Towards Formal Verification of State Continuity for Enclave Programs. In Proc. of USENIX Security Symposium. https:\/\/www.usenix.org\/conference\/usenixsecu rity21\/presentation\/jangid"},{"key":"e_1_3_2_1_28_1","unstructured":"David Kaplan. 2017. AMD SEV-ES. http:\/\/support.amd.com\/TechDocs\/Protectin gVMRegisterStatewithSEV-ES.pdf.  David Kaplan. 2017. AMD SEV-ES. http:\/\/support.amd.com\/TechDocs\/Protectin gVMRegisterStatewithSEV-ES.pdf."},{"key":"e_1_3_2_1_29_1","unstructured":"David Kaplan Jeremy Powell and Tom Woller. 2016. http:\/\/amd-dev.wpengine.n etdna-cdn.com\/wordpress\/media\/2013\/12\/AMD _ Memory_ Encryption _ White paper_v7-Public.pdf.  David Kaplan Jeremy Powell and Tom Woller. 2016. http:\/\/amd-dev.wpengine.n etdna-cdn.com\/wordpress\/media\/2013\/12\/AMD _ Memory_ Encryption _ White paper_v7-Public.pdf."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00002"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1561\/3300000008"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064192"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715182"},{"key":"e_1_3_2_1_35_1","volume-title":"Proc. of USENIX Security Symposium.","author":"Lee Dayeol","year":"2020","unstructured":"Dayeol Lee , Dongha Jung , Ian T. Fang , Chia-Che Tsai , and Raluca Ada Popa . 2020 . An Off-Chip Attack on Hardware Enclaves via the Memory Bus . In Proc. of USENIX Security Symposium. Dayeol Lee, Dongha Jung, Ian T. Fang, Chia-Che Tsai, and Raluca Ada Popa. 2020. An Off-Chip Attack on Hardware Enclaves via the Memory Bus. In Proc. of USENIX Security Symposium."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3342195.3387532"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17511-4_20"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA52012.2021.00032"},{"key":"e_1_3_2_1_39_1","volume-title":"Proc. of USENIX Security Symposium.","author":"Lipp Moritz","year":"2018","unstructured":"Moritz Lipp , Michael Schwarz , Daniel Gruss , Thomas Prescher , Werner Haas , Anders Fogh , Jann Horn , Stefan Mangard , Paul Kocher , Daniel Genkin , Yuval Yarom , and Mike Hamburg . 2018 . Meltdown: Reading Kernel Memory from User Space . In Proc. of USENIX Security Symposium. Moritz Lipp, Michael Schwarz, Daniel Gruss, Thomas Prescher, Werner Haas, Anders Fogh, Jann Horn, Stefan Mangard, Paul Kocher, Daniel Genkin, Yuval Yarom, and Mike Hamburg. 2018. Meltdown: Reading Kernel Memory from User Space. In Proc. of USENIX Security Symposium."},{"key":"e_1_3_2_1_40_1","volume-title":"Spectre is here to stay: An analysis of side-channels and speculative execution. arXiv preprint arXiv:1902.05178","author":"Mcilroy Ross","year":"2019","unstructured":"Ross Mcilroy , Jaroslav Sevcik , Tobias Tebbi , Ben L Titzer , and Toon Verwaest . 2019. Spectre is here to stay: An analysis of side-channels and speculative execution. arXiv preprint arXiv:1902.05178 ( 2019 ). Ross Mcilroy, Jaroslav Sevcik, Tobias Tebbi, Ben L Titzer, and Toon Verwaest. 2019. Spectre is here to stay: An analysis of side-channels and speculative execution. arXiv preprint arXiv:1902.05178 (2019)."},{"key":"e_1_3_2_1_41_1","volume-title":"Savagaonkar","author":"McKeen Frank","year":"2013","unstructured":"Frank McKeen , Ilya Alexandrovich , Alex Berenzon , Carlos V. Rozas , Hisham Shafi , Vedvyas Shanbhogue , and Uday R . Savagaonkar . 2013 . Innovative Instructions and Software Model for Isolated Execution. In HASP. Frank McKeen, Ilya Alexandrovich, Alex Berenzon, Carlos V. Rozas, Hisham Shafi, Vedvyas Shanbhogue, and Uday R. Savagaonkar. 2013. Innovative Instructions and Software Model for Isolated Execution. In HASP."},{"key":"e_1_3_2_1_42_1","volume-title":"EnclaveDom: Privilege separation for large-TCB applications in trusted execution environments. arXiv preprint arXiv:1907.13245","author":"Melara Marcela S","year":"2019","unstructured":"Marcela S Melara , Michael J Freedman , and Mic Bowman . 2019. EnclaveDom: Privilege separation for large-TCB applications in trusted execution environments. arXiv preprint arXiv:1907.13245 ( 2019 ). Marcela S Melara, Michael J Freedman, and Mic Bowman. 2019. EnclaveDom: Privilege separation for large-TCB applications in trusted execution environments. arXiv preprint arXiv:1907.13245 (2019)."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"crossref","unstructured":"Ahmad Moghimi Gorka Irazoqui and Thomas Eisenbarth. 2017. CacheZoom: How SGX Amplifies the Power of Cache Attacks. In CHES.  Ahmad Moghimi Gorka Irazoqui and Thomas Eisenbarth. 2017. CacheZoom: How SGX Amplifies the Power of Cache Attacks. In CHES.","DOI":"10.1007\/978-3-319-66787-4_4"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359641"},{"key":"e_1_3_2_1_45_1","volume-title":"Proc. of USENIX Security Symposium.","author":"Ohrimenko Olga","year":"2016","unstructured":"Olga Ohrimenko , Felix Schuster , Cedric Fournet , Aastha Mehta , Sebastian Nowozin , Kapil Vaswani , and Manuel Costa . 2016 . Oblivious Multi-Party Machine Learning on Trusted Processors . In Proc. of USENIX Security Symposium. Olga Ohrimenko, Felix Schuster, Cedric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, and Manuel Costa. 2016. Oblivious Multi-Party Machine Learning on Trusted Processors. In Proc. of USENIX Security Symposium."},{"key":"e_1_3_2_1_46_1","volume-title":"Proc. of IEEE Symposium on Security and Privacy (S&P).","author":"Parno Bryan","unstructured":"Bryan Parno , Jacob R. Lorch , John R. Douceur , James Mickens , and Jonathan M . McCune. 2011. Memoir: Practical State Continuity for Protected Modules . In Proc. of IEEE Symposium on Security and Privacy (S&P). Bryan Parno, Jacob R. Lorch, John R. Douceur, James Mickens, and Jonathan M. McCune. 2011. Memoir: Practical State Continuity for Protected Modules. In Proc. of IEEE Symposium on Security and Privacy (S&P)."},{"key":"e_1_3_2_1_47_1","unstructured":"Nelly Porter and Jason Garms. 2019. Advancing confidential computing with Asylo and the Confidential Computing Challenge. https:\/\/cloud.google.com\/blo g\/products\/identity-security\/advancing-confidential-computing-with-asylo- and-the-confidential-computing-challenge.  Nelly Porter and Jason Garms. 2019. Advancing confidential computing with Asylo and the Confidential Computing Challenge. https:\/\/cloud.google.com\/blo g\/products\/identity-security\/advancing-confidential-computing-with-asylo- and-the-confidential-computing-challenge."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00025"},{"key":"e_1_3_2_1_49_1","volume-title":"Proceedings of the Tenth Annual ACM Symposium on Theory of Computing","author":"Reddy C. R.","unstructured":"C. R. Reddy and D. W. Loveland . 1978. Presburger Arithmetic with Bounded Quantifier Alternation . In Proceedings of the Tenth Annual ACM Symposium on Theory of Computing ( San Diego, California, USA) (STOC '78). Association for Computing Machinery, New York, NY, USA, 320--325. https:\/\/doi.org\/10.1145\/80 0133.804361 10.1145\/80 C. R. Reddy and D. W. Loveland. 1978. Presburger Arithmetic with Bounded Quantifier Alternation. In Proceedings of the Tenth Annual ACM Symposium on Theory of Computing (San Diego, California, USA) (STOC '78). Association for Computing Machinery, New York, NY, USA, 320--325. https:\/\/doi.org\/10.1145\/80 0133.804361"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-11494-7_23"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3087421"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-60876-1_1"},{"key":"e_1_3_2_1_53_1","volume-title":"Synthesis and Learning. In 2018 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE). 1--10","author":"Sanjit","year":"2018","unstructured":"Sanjit A. Seshia and Pramod Subramanyan. 2018. UCLID5: Integrating Modeling, Verification , Synthesis and Learning. In 2018 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE). 1--10 . https:\/\/doi.org\/10.1109\/MEMCOD. 2018 .8556946 10.1109\/MEMCOD.2018.8556946 Sanjit A. Seshia and Pramod Subramanyan. 2018. UCLID5: Integrating Modeling, Verification, Synthesis and Learning. In 2018 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE). 1--10. https:\/\/doi.org\/10.1109\/MEMCOD.2018.8556946"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462183"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378469"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813608"},{"key":"e_1_3_2_1_57_1","volume-title":"Proc. of ACM SIGSAC Conference on Computer and Communications Security (CCS).","author":"Subramanyan Pramod","unstructured":"Pramod Subramanyan , Rohit Sinha , Ilia Lebedev , Srinivas Devadas , and Sanjit A. Seshia . 2017. A Formal Foundation for Secure Remote Execution of Enclaves . In Proc. of ACM SIGSAC Conference on Computer and Communications Security (CCS). Pramod Subramanyan, Rohit Sinha, Ilia Lebedev, Srinivas Devadas, and Sanjit A. Seshia. 2017. A Formal Foundation for Secure Remote Execution of Enclaves. In Proc. of ACM SIGSAC Conference on Computer and Communications Security (CCS)."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509586"},{"key":"e_1_3_2_1_59_1","volume-title":"Proc. of IEEE Symposium on Security and Privacy (S&P).","author":"Bulck Jo Van","year":"2020","unstructured":"Jo Van Bulck , Daniel Moghimi , Michael Schwarz , Moritz Lipp , Marina Minkin , Daniel Genkin , Yarom Yuval , Berk Sunar , Daniel Gruss , and Frank Piessens . 2020 . LVI: Hijacking Transient Execution through Microarchitectural Load Value Injection . In Proc. of IEEE Symposium on Security and Privacy (S&P). Jo Van Bulck, Daniel Moghimi, Michael Schwarz, Moritz Lipp, Marina Minkin, Daniel Genkin, Yarom Yuval, Berk Sunar, Daniel Gruss, and Frank Piessens. 2020. LVI: Hijacking Transient Execution through Microarchitectural Load Value Injection. In Proc. of IEEE Symposium on Security and Privacy (S&P)."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00087"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168635"},{"key":"e_1_3_2_1_62_1","volume-title":"Proc. of ACM SIGSAC Conference on Computer and Communications Security (CCS).","author":"Wang Wenhao","unstructured":"Wenhao Wang , Guoxing Chen , Xiaorui Pan , Yinqian Zhang , XiaoFeng Wang , Vincent Bindschaedler , Haixu Tang , and Carl A. Gunter . 2017. Leaky Cauldron on the Dark Land: Understanding Memory Side-Channel Hazards in SGX . In Proc. of ACM SIGSAC Conference on Computer and Communications Security (CCS). Wenhao Wang, Guoxing Chen, Xiaorui Pan, Yinqian Zhang, XiaoFeng Wang, Vincent Bindschaedler, Haixu Tang, and Carl A. Gunter. 2017. Leaky Cauldron on the Dark Land: Understanding Memory Side-Channel Hazards in SGX. In Proc. of ACM SIGSAC Conference on Computer and Communications Security (CCS)."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"crossref","unstructured":"Ofir Weisse Valeria Bertacco and Todd Austin. 2017. Regaining lost cycles with HotCalls: A fast interface for SGX secure enclaves. In ISCA.  Ofir Weisse Valeria Bertacco and Todd Austin. 2017. Regaining lost cycles with HotCalls: A fast interface for SGX secure enclaves. In ISCA.","DOI":"10.1145\/3079856.3080208"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.45"},{"key":"e_1_3_2_1_65_1","volume-title":"Proc. of USENIX Security Symposium.","author":"Yu Zhijingcheng","year":"2022","unstructured":"Zhijingcheng Yu , Shweta Shinde , Trevor E Carlson , and Prateek Saxena . 2022 . Elasticlave: An Efficient Memory Model for Enclaves . In Proc. of USENIX Security Symposium. Zhijingcheng Yu, Shweta Shinde, Trevor E Carlson, and Prateek Saxena. 2022. Elasticlave: An Efficient Memory Model for Enclaves. In Proc. of USENIX Security Symposium."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2003.1212703"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447786.3456258"}],"event":{"name":"CCS '22: 2022 ACM SIGSAC Conference on Computer and Communications Security","location":"Los Angeles CA USA","acronym":"CCS '22","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3548606.3560595","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3548606.3560595","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:50:58Z","timestamp":1750182658000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3548606.3560595"}},"subtitle":["A Formal Approach to Secure and Efficient Enclave Memory Sharing"],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":66,"alternative-id":["10.1145\/3548606.3560595","10.1145\/3548606"],"URL":"https:\/\/doi.org\/10.1145\/3548606.3560595","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"}}]}}