{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:37Z","timestamp":1772164117533,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,11,5]],"date-time":"2018-11-05T00:00:00Z","timestamp":1541376000000},"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":[[2018,11,5]]},"DOI":"10.1145\/3278122.3278137","type":"proceedings-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T11:28:39Z","timestamp":1540380519000},"page":"175-187","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["RT-trust: automated refactoring for trusted execution under real-time constraints"],"prefix":"10.1145","author":[{"given":"Yin","family":"Liu","sequence":"first","affiliation":[{"name":"Virginia Tech, USA"}]},{"given":"Kijin","family":"An","sequence":"additional","affiliation":[{"name":"Virginia Tech, USA"}]},{"given":"Eli","family":"Tilevich","sequence":"additional","affiliation":[{"name":"Virginia Tech, USA"}]}],"member":"320","published-online":{"date-parts":[[2018,11,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2015. CVE-2015-8944. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2015-8944  2015. CVE-2015-8944. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2015-8944"},{"key":"e_1_3_2_1_2_1","unstructured":"2016. CVE-2016-9103. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2016-9103  2016. CVE-2016-9103. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2016-9103"},{"key":"e_1_3_2_1_3_1","unstructured":"2017. CVE-2017-12733. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2017-12733  2017. CVE-2017-12733. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2017-12733"},{"key":"e_1_3_2_1_4_1","unstructured":"2017. CVE-2017-13997. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2017-13997  2017. CVE-2017-13997. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2017-13997"},{"key":"e_1_3_2_1_5_1","unstructured":"2017. CVE-2017-1500. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2017-1500  2017. CVE-2017-1500. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2017-1500"},{"key":"e_1_3_2_1_6_1","unstructured":"2017. CVE-2017-17672. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2017-17672  2017. CVE-2017-17672. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2017-17672"},{"key":"e_1_3_2_1_7_1","unstructured":"2017. CVE-2017-2704. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2017-2704  2017. CVE-2017-2704. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2017-2704"},{"key":"e_1_3_2_1_8_1","unstructured":"2017. CVE-2017-5239. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2017-5239  2017. CVE-2017-5239. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2017-5239"},{"key":"e_1_3_2_1_9_1","unstructured":"2017. CVE-2017-6094. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2017-6094  2017. CVE-2017-6094. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2017-6094"},{"key":"e_1_3_2_1_10_1","unstructured":"2017. CVE-2017-7493. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2017-7493  2017. CVE-2017-7493. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2017-7493"},{"key":"e_1_3_2_1_11_1","unstructured":"2018. CVE-2018-1219. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2018-1219  2018. CVE-2018-1219. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2018-1219"},{"key":"e_1_3_2_1_12_1","unstructured":"2018. CVE-2018-6412. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2018-6412  2018. CVE-2018-6412. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2018-6412"},{"key":"e_1_3_2_1_13_1","unstructured":"2018. CVE-2018-8922. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2018-8922  2018. CVE-2018-8922. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi? name=CVE-2018-8922"},{"key":"e_1_3_2_1_14_1","unstructured":"2018. Mirror of official llvm git repository. https:\/\/github.com\/ llvm-mirror\/test-suite  2018. Mirror of official llvm git repository. https:\/\/github.com\/ llvm-mirror\/test-suite"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.846318"},{"key":"e_1_3_2_1_16_1","volume-title":"Object Modeling with the","author":"Flake Stephan","unstructured":"Stephan Flake and Wolfgang Mueller . 2002. An OCL extension for realtime constraints . In Object Modeling with the OCL. Springer , 150\u2013171. Stephan Flake and Wolfgang Mueller. 2002. An OCL extension for realtime constraints. In Object Modeling with the OCL. Springer, 150\u2013171."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 23rd USENIX conference on Security Symposium. USENIX Association, 909\u2013 924","author":"Fredrikson Matthew","year":"2014","unstructured":"Matthew Fredrikson and Benjamin Livshits . 2014 . Z\u00d8: an optimizing distributing zero-knowledge compiler . In Proceedings of the 23rd USENIX conference on Security Symposium. USENIX Association, 909\u2013 924 . Matthew Fredrikson and Benjamin Livshits. 2014. Z\u00d8: an optimizing distributing zero-knowledge compiler. In Proceedings of the 23rd USENIX conference on Security Symposium. USENIX Association, 909\u2013 924."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00365999"},{"key":"e_1_3_2_1_20_1","unstructured":"GNU. 2018. Using the GNU Compiler Collection (GCC). http:\/\/gcc. gnu.org\/onlinedocs\/gcc\/Attribute-Syntax.html  GNU. 2018. Using the GNU Compiler Collection (GCC). http:\/\/gcc. gnu.org\/onlinedocs\/gcc\/Attribute-Syntax.html"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/872726.806987"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/954186.954189"},{"key":"e_1_3_2_1_23_1","volume-title":"Real-Time Constraints","author":"Hsiung Pao-Ann","unstructured":"Pao-Ann Hsiung . 2001. Real-Time Constraints . In Institute of Information Science, Academia Sinica , Taipei. Pao-Ann Hsiung. 2001. Real-Time Constraints. In Institute of Information Science, Academia Sinica, Taipei."},{"key":"e_1_3_2_1_24_1","unstructured":"Google Inc. 2018. gperftools. https:\/\/github.com\/gperftools\/gperftools  Google Inc. 2018. gperftools. https:\/\/github.com\/gperftools\/gperftools"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/97946.97980"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1990.89350"},{"key":"e_1_3_2_1_27_1","volume-title":"Glamdring: Automatic application partitioning for Intel SGX. USENIX.","author":"Lind Joshua","year":"2017","unstructured":"Joshua Lind , Christian Priebe , Divya Muthukumaran , Dan O\u2019Keeffe , P Aublin , Florian Kelbert , Tobias Reiher , David Goltzsche , David Eyers , R\u00fcdiger Kapitza , 2017 . Glamdring: Automatic application partitioning for Intel SGX. USENIX. Joshua Lind, Christian Priebe, Divya Muthukumaran, Dan O\u2019Keeffe, P Aublin, Florian Kelbert, Tobias Reiher, David Goltzsche, David Eyers, R\u00fcdiger Kapitza, et al. 2017. Glamdring: Automatic application partitioning for Intel SGX. USENIX."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134066"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065034"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1543135.1542504"},{"key":"e_1_3_2_1_32_1","volume-title":"Department of Defense","author":"United States.","year":"2015","unstructured":"United States. Department of Defense . 2015 . Critical Program Information (CPI) Identification and Protection Within Research, Development, Test , and Evaluation (RDT & E). http:\/\/www.secnav.navy.mil\/ig\/Lists\/ Instructions %20Links\/DispForm.aspx?ID=15 United States. Department of Defense. 2015. Critical Program Information (CPI) Identification and Protection Within Research, Development, Test, and Evaluation (RDT & E). http:\/\/www.secnav.navy.mil\/ig\/Lists\/ Instructions%20Links\/DispForm.aspx?ID=15"},{"key":"e_1_3_2_1_33_1","unstructured":"OP-TEE. 2018. Open Portable Trusted Execution Environment. https: \/\/www.op-tee.org\/  OP-TEE. 2018. Open Portable Trusted Execution Environment. https: \/\/www.op-tee.org\/"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/CoCoNet.2015.7411305"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884817"},{"key":"e_1_3_2_1_36_1","volume-title":"PrettyCat: Adaptive guarantee-controlled software partitioning of security protocols. arXiv preprint arXiv:1706.04759","author":"Senier Alexander","year":"2017","unstructured":"Alexander Senier , Martin Beck , and Thorsten Strufe . 2017. PrettyCat: Adaptive guarantee-controlled software partitioning of security protocols. arXiv preprint arXiv:1706.04759 ( 2017 ). Alexander Senier, Martin Beck, and Thorsten Strufe. 2017. PrettyCat: Adaptive guarantee-controlled software partitioning of security protocols. arXiv preprint arXiv:1706.04759 (2017)."},{"key":"e_1_3_2_1_37_1","unstructured":"PX4 Dev Team. 2018. PX4. http:\/\/px4.io\/  PX4 Dev Team. 2018. PX4. http:\/\/px4.io\/"},{"key":"e_1_3_2_1_38_1","unstructured":"The Clang Team. 2018. Attributes in Clang. https:\/\/clang.llvm.org\/ docs\/AttributeReference.html  The Clang Team. 2018. Attributes in Clang. https:\/\/clang.llvm.org\/ docs\/AttributeReference.html"},{"key":"e_1_3_2_1_39_1","unstructured":"GlobalPlatform Device Technology. June 2010. TEE Client API Specification. https:\/\/www.globalplatform.org\/specificationsdevice.asp  GlobalPlatform Device Technology. June 2010. TEE Client API Specification. https:\/\/www.globalplatform.org\/specificationsdevice.asp"},{"key":"e_1_3_2_1_40_1","unstructured":"GlobalPlatform Device Technology. June 2013. Trusted User Interface API. https:\/\/www.globalplatform.org\/specificationsdevice.asp  GlobalPlatform Device Technology. June 2013. Trusted User Interface API. https:\/\/www.globalplatform.org\/specificationsdevice.asp"},{"key":"e_1_3_2_1_41_1","unstructured":"GlobalPlatform Device Technology. June 2016. TEE Internal Core API Specification. https:\/\/www.globalplatform.org\/specificationsdevice. asp  GlobalPlatform Device Technology. June 2016. TEE Internal Core API Specification. https:\/\/www.globalplatform.org\/specificationsdevice. asp"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2018.8383886"}],"event":{"name":"GPCE '18: 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","location":"Boston MA USA","acronym":"GPCE '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3278122.3278137","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3278122.3278137","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:54:09Z","timestamp":1750190049000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3278122.3278137"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,5]]},"references-count":41,"alternative-id":["10.1145\/3278122.3278137","10.1145\/3278122"],"URL":"https:\/\/doi.org\/10.1145\/3278122.3278137","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3393934.3278137","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,11,5]]},"assertion":[{"value":"2018-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}