{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T15:45:41Z","timestamp":1782834341126,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":66,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,12]],"date-time":"2020-10-12T00:00:00Z","timestamp":1602460800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Technische Universit\u00e4t Dresden"},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["389792660"],"award-info":[{"award-number":["389792660"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007601","name":"Horizon 2020","doi-asserted-by":"publisher","award":["780681"],"award-info":[{"award-number":["780681"]}],"id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,12]]},"DOI":"10.1145\/3419111.3421273","type":"proceedings-article","created":{"date-parts":[[2020,10,13]],"date-time":"2020-10-13T04:40:25Z","timestamp":1602564025000},"page":"387-400","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["T-Lease"],"prefix":"10.1145","author":[{"given":"Bohdan","family":"Trach","sequence":"first","affiliation":[{"name":"TU Dresden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rasha","family":"Faqeh","sequence":"additional","affiliation":[{"name":"TU Dresden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Oleksii","family":"Oleksenko","sequence":"additional","affiliation":[{"name":"TU Dresden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wojciech","family":"Ozga","sequence":"additional","affiliation":[{"name":"TU Dresden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pramod","family":"Bhatotia","sequence":"additional","affiliation":[{"name":"TU Munich"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christof","family":"Fetzer","sequence":"additional","affiliation":[{"name":"TU Dresden"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,10,12]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"Azure Stack. https:\/\/azure.microsoft.com\/en-us\/overview\/azure-stack\/ accessed on 10\/08\/2020.  Azure Stack. https:\/\/azure.microsoft.com\/en-us\/overview\/azure-stack\/ accessed on 10\/08\/2020."},{"key":"e_1_3_2_2_2_1","unstructured":"Data-in-use protection on IBM Cloud using Intel SGX. https:\/\/www.ibm.com\/cloud\/blog\/data-use-protection-ibm-cloud-using-intel-sgx accessed on 10\/08\/2020.  Data-in-use protection on IBM Cloud using Intel SGX. https:\/\/www.ibm.com\/cloud\/blog\/data-use-protection-ibm-cloud-using-intel-sgx accessed on 10\/08\/2020."},{"key":"e_1_3_2_2_3_1","unstructured":"Intel Multi-Buffer Crypto for IPsec Library. https:\/\/github.com\/intel\/intel-ipsec-mb accessed on 10\/08\/2020.  Intel Multi-Buffer Crypto for IPsec Library. https:\/\/github.com\/intel\/intel-ipsec-mb accessed on 10\/08\/2020."},{"key":"e_1_3_2_2_4_1","unstructured":"vdso(7) - Linux manual page. https:\/\/man7.org\/linux\/man-pages\/man7\/vdso.7.html accessed on 10\/08\/2020.  vdso(7) - Linux manual page. https:\/\/man7.org\/linux\/man-pages\/man7\/vdso.7.html accessed on 10\/08\/2020."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1060289.1060291"},{"key":"e_1_3_2_2_6_1","volume-title":"Slicer: Auto-Sharding for Datacenter Applications. In USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Adya A.","year":"2016"},{"key":"e_1_3_2_2_7_1","volume-title":"Sinfonia: A New Paradigm for Building Scalable Distributed Systems. In ACM Symposium on Operating Systems Principles (SOSP)","author":"Aguilera M. K.","year":"2007"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338466.3358916"},{"key":"e_1_3_2_2_9_1","volume-title":"Applications and Challenges in Securing Time. In USENIX Workshop on Cyber Security Experimentation and Test, (CSET)","author":"Anwar F. M.","year":"2019"},{"key":"e_1_3_2_2_10_1","volume-title":"SCONE: Secure Linux Containers with Intel SGX. In USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Arnautov S.","year":"2016"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4302-6584-9"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2019.00050"},{"key":"e_1_3_2_2_13_1","volume-title":"USENIX Conference on File and Storage Technologies (FAST)","author":"Bailleu M.","year":"2019"},{"key":"e_1_3_2_2_14_1","volume-title":"The Chubby Lock Service for Loosely-coupled Distributed Systems. In USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Burrows M.","year":"2006"},{"key":"e_1_3_2_2_15_1","volume-title":"Detecting Privileged Side-Channel Attacks in Shielded Execution with D\u00e9J\u00e0 Vu. In Asia Conference on Computer and Communications Security (ASIA CCS)","author":"Chen S.","year":"2017"},{"key":"e_1_3_2_2_16_1","volume-title":"USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Spanner Corbett","year":"2012"},{"key":"e_1_3_2_2_17_1","unstructured":"V. Costan and S. Devadas. Intel SGX Explained. IACR Cryptology ePrint Archive 2016.  V. Costan and S. Devadas. Intel SGX Explained. IACR Cryptology ePrint Archive 2016."},{"key":"e_1_3_2_2_19_1","unstructured":"DPDK Project. DPDK Getting Started Guide for Linux 2019.  DPDK Project. DPDK Getting Started Guide for Linux 2019."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815425"},{"key":"e_1_3_2_2_21_1","author":"Fetzer C.","year":"1999","journal-title":"A Highly Available Local Leader Election Service. IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_2_22_1","volume-title":"Leung. The Google File System. In ACM Symposium on Operating Systems Principles (SOSP)","author":"Ghemawat S.","year":"2003"},{"key":"e_1_3_2_2_23_1","volume-title":"Leases: An Efficient Fault-tolerant Mechanism for Distributed File Cache Consistency. In ACM Symposium on Operating Systems Principles (SOSP)","author":"Gray C.","year":"1989"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670979.2670986"},{"key":"e_1_3_2_2_25_1","volume-title":"Inc.","author":"Hamburg M.","year":"2012"},{"key":"e_1_3_2_2_26_1","volume-title":"Capturing and Enhancing in Situ System Observability for Failure Detection. In USENIX Conference on Operating Systems Design and Implementation (OSDI)","author":"Huang P.","year":"2018"},{"key":"e_1_3_2_2_27_1","volume-title":"ZooKeeper: Wait-free Coordination for Internet-scale Systems. In USENIX Annual Technical Conference (USENIX ATC)","author":"Hunt P.","year":"2010"},{"key":"e_1_3_2_2_28_1","volume-title":"Cluster Computing","author":"Hupfeld F.","year":"2009"},{"key":"e_1_3_2_2_29_1","unstructured":"Intel Corporation. IA-PC HPET (High Precision Event Timers) 2004.  Intel Corporation. IA-PC HPET (High Precision Event Timers) 2004."},{"key":"e_1_3_2_2_30_1","unstructured":"Intel Corporation. Intel\u00ae Software Guard Extensions SDK for Linux OS 2017.  Intel Corporation. Intel \u00ae Software Guard Extensions SDK for Linux OS 2017."},{"key":"e_1_3_2_2_31_1","unstructured":"Intel Corporation. Intel\u00ae Digital Random Number Generator (DRNG) Software Implementation Guide Revision 2.1 October 2018.  Intel Corporation. Intel \u00ae Digital Random Number Generator (DRNG) Software Implementation Guide Revision 2.1 October 2018."},{"key":"e_1_3_2_2_32_1","unstructured":"Intel Corporation. Intel\u00ae 64 and IA-32 Architectures Software Developer's Manual 2018.  Intel Corporation. Intel \u00ae 64 and IA-32 Architectures Software Developer's Manual 2018."},{"key":"e_1_3_2_2_33_1","volume-title":"Disconnected Operation in the Coda File System. In ACM Symposium on Operating Systems Principles (SOSP)","author":"Kistler J. J.","year":"1991"},{"key":"e_1_3_2_2_34_1","volume-title":"USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Kotla R.","year":"2012"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3190508.3190518"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901318.2901339"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064192"},{"key":"e_1_3_2_2_38_1","volume-title":"Addison-Wesley Longman Publishing Co.","author":"Lamport L.","year":"2002"},{"key":"e_1_3_2_2_39_1","volume-title":"Highly Available System Using Consensus. In International Workshop on Distributed Algorithms (WDAG)","author":"Lampson B. W.","year":"1996"},{"key":"e_1_3_2_2_40_1","volume-title":"Keystone: An Open Framework for Architecting Trusted Execution Environments. In European Conference on Computer Systems (EuroSys)","author":"Lee D.","year":"2020"},{"key":"e_1_3_2_2_41_1","volume-title":"TrInc: Small Trusted Hardware for Large Distributed Systems. In USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Levin D.","year":"2009"},{"key":"e_1_3_2_2_42_1","volume-title":"CoRR","author":"Liang H.","year":"2018"},{"key":"e_1_3_2_2_43_1","volume-title":"USENIX Security Symposium, (USENIX Security)","author":"Matetic S.","year":"2017"},{"key":"e_1_3_2_2_44_1","volume-title":"Toolkit for User-Level File Systems. In USENIX Annual Technical Conference (USENIX ATC)","author":"Mazi\u00e8res D.","year":"2001"},{"key":"e_1_3_2_2_45_1","volume-title":"Innovative Instructions and Software Model for Isolated Execution. In International Workshop on Hardware and Architectural Support for Security and Privacy (HASP)","author":"McKeen F.","year":"2013"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670979.2671001"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502052"},{"key":"e_1_3_2_2_48_1","volume-title":"USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Nishtala R.","year":"2013"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3219617.3219662"},{"key":"e_1_3_2_2_50_1","volume-title":"USENIX Annual Technical Conference (USENIX ATC)","author":"Oleksenko O.","year":"2018"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2611399"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2011.38"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3291047"},{"key":"e_1_3_2_2_54_1","volume-title":"SafeBricks: Shielding Network Functions in the Cloud. In USENIX Symposium on Networked Systems Design and Implementation (NSDI)","author":"Poddar R.","year":"2018"},{"key":"e_1_3_2_2_55_1","volume-title":"21st International Middleware Conference (Middleware)","author":"Quoc D. L.","year":"2020"},{"key":"e_1_3_2_2_56_1","volume-title":"Towards Trusted Cloud Computing. In USENIX Workshop on Hot Topics in Cloud Computing (HotCloud)","author":"Santos N.","year":"2009"},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"crossref","unstructured":"M. Schwarz S. Weiser D. Gruss C. Maurice and S. Mangard. Malware guard extension: Using sgx to conceal cache attacks. Detection of Intrusions and Malware and Vulnerability Assessment (DIVMA) 2017.  M. Schwarz S. Weiser D. Gruss C. Maurice and S. Mangard. Malware guard extension: Using sgx to conceal cache attacks. Detection of Intrusions and Malware and Vulnerability Assessment (DIVMA) 2017.","DOI":"10.1007\/978-3-319-60876-1_1"},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSST.2010.5496972"},{"key":"e_1_3_2_2_59_1","unstructured":"B. Trach A. Krohmer S. Arnautov F. Gregor P. Bhatotia and C. Fetzer. Slick: Secure middleboxes using shielded execution. CoRR abs\/1709.04226 2017.  B. Trach A. Krohmer S. Arnautov F. Gregor P. Bhatotia and C. Fetzer. Slick: Secure middleboxes using shielded execution. CoRR abs\/1709.04226 2017."},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3185467.3185469"},{"key":"e_1_3_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319647.3325835"},{"key":"e_1_3_2_2_62_1","volume-title":"Graphene-SGX: A Practical Library OS for Unmodified Applications on SGX. In USENIX Annual Technical Conference (USENIX ATC)","author":"Tsai C.-C.","year":"2017"},{"key":"e_1_3_2_2_63_1","volume-title":"USENIX Security Symposium","author":"Bulck J. Van","year":"2018"},{"key":"e_1_3_2_2_64_1","unstructured":"O. Weisse J. Van Bulck M. Minkin D. Genkin B. Kasikci F. Piessens M. Silberstein R. Strackx T. F. Wenisch and Y. Yarom. Foreshadow-NG: Breaking the Virtual Memory Abstraction with Transient Out-of-Order Execution. Technical report 2018.  O. Weisse J. Van Bulck M. Minkin D. Genkin B. Kasikci F. Piessens M. Silberstein R. Strackx T. F. Wenisch and Y. Yarom. Foreshadow-NG: Breaking the Virtual Memory Abstraction with Transient Out-of-Order Execution. Technical report 2018."},{"key":"e_1_3_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183713.3196890"},{"key":"e_1_3_2_2_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/316188.316219"},{"key":"e_1_3_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48153-2_6"}],"event":{"name":"SoCC '20: ACM Symposium on Cloud Computing","location":"Virtual Event USA","acronym":"SoCC '20","sponsor":["SIGMOD ACM Special Interest Group on Management of Data","SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 11th ACM Symposium on Cloud Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3419111.3421273","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3419111.3421273","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:32:05Z","timestamp":1750195925000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3419111.3421273"}},"subtitle":["a trusted lease primitive for distributed systems"],"short-title":[],"issued":{"date-parts":[[2020,10,12]]},"references-count":66,"alternative-id":["10.1145\/3419111.3421273","10.1145\/3419111"],"URL":"https:\/\/doi.org\/10.1145\/3419111.3421273","relation":{},"subject":[],"published":{"date-parts":[[2020,10,12]]},"assertion":[{"value":"2020-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}