{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T16:25:09Z","timestamp":1783787109459,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":81,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,3,28]],"date-time":"2022-03-28T00:00:00Z","timestamp":1648425600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["1846102, 1919197, 2106893"],"award-info":[{"award-number":["1846102, 1919197, 2106893"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Commonwealth Cyber Initiative"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,3,28]]},"DOI":"10.1145\/3492321.3519565","type":"proceedings-article","created":{"date-parts":[[2022,3,28]],"date-time":"2022-03-28T14:28:18Z","timestamp":1648477698000},"page":"300-316","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Minimum viable device drivers for ARM trustzone"],"prefix":"10.1145","author":[{"given":"Liwei","family":"Guo","sequence":"first","affiliation":[{"name":"University of Virginia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Felix Xiaozhu","family":"Lin","sequence":"additional","affiliation":[{"name":"University of Virginia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,3,28]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Bcm4329 preliminary data sheet. https:\/\/www.mouser.jp\/datasheet\/2\/100\/Radio%20with%20Integrated%20Bluetooth%202.1%20_%20EDR%20and%20FM%20T-961654.pdf. (Accessed on 02\/21\/2022).  Bcm4329 preliminary data sheet. https:\/\/www.mouser.jp\/datasheet\/2\/100\/Radio%20with%20Integrated%20Bluetooth%202.1%20_%20EDR%20and%20FM%20T-961654.pdf. (Accessed on 02\/21\/2022)."},{"key":"e_1_3_2_1_2_1","unstructured":"commit 148fec63133d755259feac338d50a747976dbf37 - trusty\/lk\/trusty - git at google. https:\/\/android.googlesource.com\/trusty\/lk\/trusty\/+\/148fec63133d755259feac338d50a747976dbf37. (Accessed on 02\/21\/2022).  commit 148fec63133d755259feac338d50a747976dbf37 - trusty\/lk\/trusty - git at google. https:\/\/android.googlesource.com\/trusty\/lk\/trusty\/+\/148fec63133d755259feac338d50a747976dbf37. (Accessed on 02\/21\/2022)."},{"key":"e_1_3_2_1_3_1","unstructured":"Cve-2016-5195: Race condition in mm\/gup.c in the linux kernel 2.x through 4.x before 4.8.3 allows local users to gain privileges by leveraging incorrect handling of a copy-on-write (cow) feature to write to a read-only memory mapping as exploited in the wild in october 2016 aka \"dirty cow:\" https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2016-5195. (Accessed on 09\/22\/2021).  Cve-2016-5195: Race condition in mm\/gup.c in the linux kernel 2.x through 4.x before 4.8.3 allows local users to gain privileges by leveraging incorrect handling of a copy-on-write (cow) feature to write to a read-only memory mapping as exploited in the wild in october 2016 aka \"dirty cow:\" https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2016-5195. (Accessed on 09\/22\/2021)."},{"key":"e_1_3_2_1_4_1","unstructured":"Cve-2016-6775 : An elevation of privilege vulnerability in the nvidia gpu driver could enable a local malicious application to execute arbitrary code. https:\/\/www.cvedetails.com\/cve\/CVE-2016-6775\/. (Accessed on 09\/22\/2021).  Cve-2016-6775 : An elevation of privilege vulnerability in the nvidia gpu driver could enable a local malicious application to execute arbitrary code. https:\/\/www.cvedetails.com\/cve\/CVE-2016-6775\/. (Accessed on 09\/22\/2021)."},{"key":"e_1_3_2_1_5_1","unstructured":"Cve-2016-9120: Race condition in the ion_ioctl function in drivers\/staging\/android\/ion\/ion.c in the linux kernel before 4.6 allows loca. https:\/\/www.cvedetails.com\/cve\/CVE-2016-9120\/. (Accessed on 09\/22\/2021).  Cve-2016-9120: Race condition in the ion_ioctl function in drivers\/staging\/android\/ion\/ion.c in the linux kernel before 4.6 allows loca. https:\/\/www.cvedetails.com\/cve\/CVE-2016-9120\/. (Accessed on 09\/22\/2021)."},{"key":"e_1_3_2_1_6_1","unstructured":"Device power management basics --- the linux kernel documentation. https:\/\/www.kernel.org\/doc\/html\/v4.18\/driver-api\/pm\/devices.html. (Accessed on 10\/09\/2021).  Device power management basics --- the linux kernel documentation. https:\/\/www.kernel.org\/doc\/html\/v4.18\/driver-api\/pm\/devices.html. (Accessed on 10\/09\/2021)."},{"key":"e_1_3_2_1_7_1","unstructured":"e.mmc | jedec. https:\/\/www.jedec.org\/standards-documents\/technology-focus-areas\/flash-memory-ssds-ufs-emmc\/e-mmc. (Accessed on 02\/21\/2022).  e.mmc | jedec. https:\/\/www.jedec.org\/standards-documents\/technology-focus-areas\/flash-memory-ssds-ufs-emmc\/e-mmc. (Accessed on 02\/21\/2022)."},{"key":"e_1_3_2_1_8_1","unstructured":"Guard your data with the qualcomm snapdragon mobile platform. https:\/\/www.qualcomm.com\/media\/documents\/files\/guard-your-data-with-the-qualcomm-snapdragon-mobile-platform.pdf. (Accessed on 03\/13\/2022).  Guard your data with the qualcomm snapdragon mobile platform. https:\/\/www.qualcomm.com\/media\/documents\/files\/guard-your-data-with-the-qualcomm-snapdragon-mobile-platform.pdf. (Accessed on 03\/13\/2022)."},{"key":"e_1_3_2_1_9_1","unstructured":"I2c broadcom bug workaround. \u00b7 issue #254 \u00b7 raspberrypi\/linux. https:\/\/github.com\/raspberrypi\/linux\/issues\/254. (Accessed on 10\/09\/2021).  I2c broadcom bug workaround. \u00b7 issue #254 \u00b7 raspberrypi\/linux. https:\/\/github.com\/raspberrypi\/linux\/issues\/254. (Accessed on 10\/09\/2021)."},{"key":"e_1_3_2_1_10_1","unstructured":"Keystone | an open framework for architecting tees. https:\/\/keystone-enclave.org\/. (Accessed on 02\/10\/2022).  Keystone | an open framework for architecting tees. https:\/\/keystone-enclave.org\/. (Accessed on 02\/10\/2022)."},{"key":"e_1_3_2_1_11_1","unstructured":"optee_os\/changelog.md at 0.1.0 \u00b7 op-tee\/optee_os \u00b7 github. https:\/\/github.com\/OP-TEE\/optee_os\/blob\/0.1.0\/CHANGELOG.md. (Accessed on 02\/21\/2022).  optee_os\/changelog.md at 0.1.0 \u00b7 op-tee\/optee_os \u00b7 github. https:\/\/github.com\/OP-TEE\/optee_os\/blob\/0.1.0\/CHANGELOG.md. (Accessed on 02\/21\/2022)."},{"key":"e_1_3_2_1_12_1","unstructured":"optee_os\/changelog.md at master \u00b7 op-tee\/optee_os \u00b7 github. https:\/\/github.com\/OP-TEE\/optee_os\/blob\/master\/CHANGELOG.md. (Accessed on 08\/12\/2021).  optee_os\/changelog.md at master \u00b7 op-tee\/optee_os \u00b7 github. https:\/\/github.com\/OP-TEE\/optee_os\/blob\/master\/CHANGELOG.md. (Accessed on 08\/12\/2021)."},{"key":"e_1_3_2_1_13_1","unstructured":"optee_os\/serial8250_uart.c at master \u00b7 op-tee\/optee_os \u00b7 github. https:\/\/github.com\/OP-TEE\/optee_os\/blob\/master\/core\/drivers\/serial8250_uart.c. (Accessed on 02\/21\/2022).  optee_os\/serial8250_uart.c at master \u00b7 op-tee\/optee_os \u00b7 github. https:\/\/github.com\/OP-TEE\/optee_os\/blob\/master\/core\/drivers\/serial8250_uart.c. (Accessed on 02\/21\/2022)."},{"key":"e_1_3_2_1_14_1","unstructured":"Rpmb file system performance \u00b7 issue #1033 \u00b7 op-tee\/optee_os. https:\/\/github.com\/OP-TEE\/optee_os\/issues\/1033. (Accessed on 10\/09\/2021).  Rpmb file system performance \u00b7 issue #1033 \u00b7 op-tee\/optee_os. https:\/\/github.com\/OP-TEE\/optee_os\/issues\/1033. (Accessed on 10\/09\/2021)."},{"key":"e_1_3_2_1_15_1","unstructured":"Sd standard overview | sd association. https:\/\/www.sdcard.org\/developers\/sd-standard-overview\/. (Accessed on 02\/21\/2022).  Sd standard overview | sd association. https:\/\/www.sdcard.org\/developers\/sd-standard-overview\/. (Accessed on 02\/21\/2022)."},{"key":"e_1_3_2_1_16_1","unstructured":"Trusty tee | android open source project. https:\/\/source.android.com\/security\/trusty. (Accessed on 03\/13\/2022).  Trusty tee | android open source project. https:\/\/source.android.com\/security\/trusty. (Accessed on 03\/13\/2022)."},{"key":"e_1_3_2_1_17_1","unstructured":"Trusty tee uses and examples. https:\/\/source.android.com\/security\/trusty#uses_examples. (Accessed on 02\/08\/2022).  Trusty tee uses and examples. https:\/\/source.android.com\/security\/trusty#uses_examples. (Accessed on 02\/08\/2022)."},{"key":"e_1_3_2_1_18_1","unstructured":"Usb hotplugging --- the linux kernel documentation. https:\/\/www.kernel.org\/doc\/html\/v4.18\/driver-api\/usb\/hotplug.html. (Accessed on 10\/09\/2021).  Usb hotplugging --- the linux kernel documentation. https:\/\/www.kernel.org\/doc\/html\/v4.18\/driver-api\/usb\/hotplug.html. (Accessed on 10\/09\/2021)."},{"key":"e_1_3_2_1_19_1","volume-title":"CVE-ID CVE-2016-7389.","year":"2016","unstructured":"CVE-2016-7389. Available from MITRE , CVE-ID CVE-2016-7389. , Sept. 9 2016 . CVE-2016-7389. Available from MITRE, CVE-ID CVE-2016-7389., Sept. 9 2016."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3342195.3387550"},{"key":"e_1_3_2_1_21_1","first-page":"41","volume-title":"USENIX Annual Technical Conference, FREENIX Track","author":"Bellard F.","year":"2005","unstructured":"F. Bellard . Qemu, a fast and portable dynamic translator . In USENIX Annual Technical Conference, FREENIX Track , pages 41 -- 46 , 2005 . F. Bellard. Qemu, a fast and portable dynamic translator. In USENIX Annual Technical Conference, FREENIX Track, pages 41--46, 2005."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDSW.2016.17"},{"key":"e_1_3_2_1_23_1","first-page":"253","volume-title":"ASPLOS 2013","author":"Checkoway S.","year":"2013","unstructured":"S. Checkoway and H. Shacham . Iago attacks: why the system call API is a bad untrusted RPC interface. In V. Sarkar and R. Bod\u00edk, editors, Architectural Support for Programming Languages and Operating Systems , ASPLOS 2013 , Houston, TX, USA, March 16--20 , 2013 , pages 253 -- 264 . ACM, 2013. S. Checkoway and H. Shacham. Iago attacks: why the system call API is a bad untrusted RPC interface. In V. Sarkar and R. Bod\u00edk, editors, Architectural Support for Programming Languages and Operating Systems, ASPLOS 2013, Houston, TX, USA, March 16--20, 2013, pages 253--264. ACM, 2013."},{"key":"e_1_3_2_1_24_1","first-page":"541","volume-title":"11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)","author":"Chen A.","year":"2014","unstructured":"A. Chen , W. B. Moore , H. Xiao , A. Haeberlen , L. T. X. Phan , M. Sherr , and W. Zhou . Detecting covert timing channels with time-deterministic replay . In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14) , pages 541 -- 554 , Broomfield, CO , Oct. 2014 . USENIX Association. A. Chen, W. B. Moore, H. Xiao, A. Haeberlen, L. T. X. Phan, M. Sherr, and W. Zhou. Detecting covert timing channels with time-deterministic replay. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14), pages 541--554, Broomfield, CO, Oct. 2014. USENIX Association."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755932"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the 5th Workshop on Hot Topics in System Dependability (HotDep), number CONF","author":"Chipounov V.","year":"2009","unstructured":"V. Chipounov , V. Georgescu , C. Zamfir , and G. Candea . Selective symbolic execution . In Proceedings of the 5th Workshop on Hot Topics in System Dependability (HotDep), number CONF , 2009 . V. Chipounov, V. Georgescu, C. Zamfir, and G. Candea. Selective symbolic execution. In Proceedings of the 5th Workshop on Hot Topics in System Dependability (HotDep), number CONF, 2009."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950396"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the 16th USENIX Security Symposium","author":"Cui W.","year":"2007","unstructured":"W. Cui , J. Kannan , and H. J. Wang . Discoverer: Automatic protocol reverse engineering from network traces. In N. Provos, editor , Proceedings of the 16th USENIX Security Symposium , Boston, MA, USA, August 6--10 , 2007 . USENIX Association, 2007. W. Cui, J. Kannan, and H. J. Wang. Discoverer: Automatic protocol reverse engineering from network traces. In N. Provos, editor, Proceedings of the 16th USENIX Security Symposium, Boston, MA, USA, August 6--10, 2007. USENIX Association, 2007."},{"key":"e_1_3_2_1_29_1","first-page":"31","volume-title":"22nd International Symposium on Research in Attacks, Intrusions and Defenses, RAID 2019","author":"Davanian A.","year":"2019","unstructured":"A. Davanian , Z. Qi , Y. Qu , and H. Yin . DECAF++: elastic whole-system dynamic taint analysis . In 22nd International Symposium on Research in Attacks, Intrusions and Defenses, RAID 2019 , Chaoyang District, Beijing, China, September 23--25 , 2019 , pages 31 -- 45 . USENIX Association, 2019. A. Davanian, Z. Qi, Y. Qu, and H. Yin. DECAF++: elastic whole-system dynamic taint analysis. In 22nd International Symposium on Research in Attacks, Intrusions and Defenses, RAID 2019, Chaoyang District, Beijing, China, September 23--25, 2019, pages 31--45. USENIX Association, 2019."},{"key":"e_1_3_2_1_30_1","first-page":"73","volume-title":"15th USENIX Conference on File and Storage Technologies (FAST 17)","author":"Dou X.","year":"2017","unstructured":"X. Dou , P. M. Chen , and J. Flinn . Knockoff: Cheap versions in the cloud . In 15th USENIX Conference on File and Storage Technologies (FAST 17) , pages 73 -- 88 , Santa Clara, CA , 2017 . USENIX Association. X. Dou, P. M. Chen, and J. Flinn. Knockoff: Cheap versions in the cloud. In 15th USENIX Conference on File and Storage Technologies (FAST 17), pages 73--88, Santa Clara, CA, 2017. USENIX Association."},{"key":"e_1_3_2_1_31_1","volume-title":"Dec.","author":"Dunlap G. W.","year":"2003","unstructured":"G. W. Dunlap , S. T. King , S. Cinar , M. A. Basrai , and P. M. Chen . Revirt: Enabling intrusion analysis through virtual-machine logging and replay. SIGOPS Oper. Syst. Rev., 36(SI):211--224 , Dec. 2003 . G. W. Dunlap, S. T. King, S. Cinar, M. A. Basrai, and P. M. Chen. Revirt: Enabling intrusion analysis through virtual-machine logging and replay. SIGOPS Oper. Syst. Rev., 36(SI):211--224, Dec. 2003."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346303"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3208040.3208060"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486799"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3081333.3081349"},{"key":"e_1_3_2_1_36_1","first-page":"675","volume-title":"Transkernel: Bridging monolithic kernels to peripheral cores","author":"Guo L.","year":"2019","unstructured":"L. Guo , S. Zhai , Y. Qiao , and F. X. Lin . Transkernel: Bridging monolithic kernels to peripheral cores . In D. Malkhi and D. Tsafrir, editors, 2019 USENIX Annual Technical Conference, USENIX ATC 2019, Renton, WA, USA, July 10--12, 2019, pages 675 -- 692 . USENIX Association , 2019. L. Guo, S. Zhai, Y. Qiao, and F. X. Lin. Transkernel: Bridging monolithic kernels to peripheral cores. In D. Malkhi and D. Tsafrir, editors, 2019 USENIX Annual Technical Conference, USENIX ATC 2019, Renton, WA, USA, July 10--12, 2019, pages 675--692. USENIX Association, 2019."},{"key":"e_1_3_2_1_37_1","first-page":"193","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI'08","author":"Guo Z.","year":"2008","unstructured":"Z. Guo , X. Wang , J. Tang , X. Liu , Z. Xu , M. Wu , M. F. Kaashoek , and Z. Zhang . R2: An application-level kernel for record and replay . In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI'08 , page 193 -- 208 , USA, 2008 . USENIX Association. Z. Guo, X. Wang, J. Tang, X. Liu, Z. Xu, M. Wu, M. F. Kaashoek, and Z. Zhang. R2: An application-level kernel for record and replay. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI'08, page 193--208, USA, 2008. USENIX Association."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/Trustcom.2015.378"},{"key":"e_1_3_2_1_39_1","volume-title":"13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)","author":"Hsieh K.","year":"2018","unstructured":"K. Hsieh , G. Ananthanarayanan , P. Bodik , S. Venkataraman , P. Bahl , M. Philipose , P. B. Gibbons , and O. Mutlu . Focus: Querying large video datasets with low latency and low cost . In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18) , Carlsbad, CA , 2018 . USENIX Association. K. Hsieh, G. Ananthanarayanan, P. Bodik, S. Venkataraman, P. Bahl, M. Philipose, P. B. Gibbons, and O. Mutlu. Focus: Querying large video datasets with low latency and low cost. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18), Carlsbad, CA, 2018. USENIX Association."},{"key":"e_1_3_2_1_40_1","first-page":"708","volume-title":"Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2018","author":"B. D.","year":"2018","unstructured":"B. D. III, H. S. Gunawi , A. J. Feldman , and H. Hoffmann . Strongbox: Confidentiality, integrity, and performance using stream ciphers for full drive encryption. In X. Shen, J. Tuck, R. Bianchini, and V. Sarkar, editors , Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2018 , Williamsburg, VA, USA, March 24--28 , 2018 , pages 708 -- 721 . ACM, 2018. B. D. III, H. S. Gunawi, A. J. Feldman, and H. Hoffmann. Strongbox: Confidentiality, integrity, and performance using stream ciphers for full drive encryption. In X. Shen, J. Tuck, R. Bianchini, and V. Sarkar, editors, Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2018, Williamsburg, VA, USA, March 24--28, 2018, pages 708--721. ACM, 2018."},{"key":"e_1_3_2_1_41_1","first-page":"1705","volume-title":"27th USENIX Security Symposium (USENIX Security 18)","author":"Ji Y.","year":"2018","unstructured":"Y. Ji , S. Lee , M. Fazzini , J. Allen , E. Downing , T. Kim , A. Orso , and W. Lee . Enabling refinable cross-host attack investigation with efficient data flow tagging and tracking . In 27th USENIX Security Symposium (USENIX Security 18) , pages 1705 -- 1722 , Baltimore, MD , Aug. 2018 . USENIX Association. Y. Ji, S. Lee, M. Fazzini, J. Allen, E. Downing, T. Kim, A. Orso, and W. Lee. Enabling refinable cross-host attack investigation with efficient data flow tagging and tracking. In 27th USENIX Security Symposium (USENIX Security 18), pages 1705--1722, Baltimore, MD, Aug. 2018. USENIX Association."},{"issue":"5","key":"e_1_3_2_1_42_1","article-title":"Rump Kernels No OS? No Problem! Log","volume":"39","author":"Kantee A.","year":"2014","unstructured":"A. Kantee and J. Cormack . Rump Kernels No OS? No Problem! Log in: USENIX Magazine , 39 ( 5 ), 2014 . A. Kantee and J. Cormack. Rump Kernels No OS? No Problem! Login: USENIX Magazine, 39(5), 2014.","journal-title":"USENIX Magazine"},{"issue":"3","key":"e_1_3_2_1_43_1","first-page":"1409","article-title":"S2net: Preserving privacy in smart home routers","volume":"18","author":"Lee S.","year":"2021","unstructured":"S. Lee , H. Shi , K. Tan , Y. Liu , S. Lee , and Y. Cui . S2net: Preserving privacy in smart home routers . IEEE Trans. Dependable Secur. Comput. , 18 ( 3 ): 1409 -- 1424 , 2021 . S. Lee, H. Shi, K. Tan, Y. Liu, S. Lee, and Y. Cui. S2net: Preserving privacy in smart home routers. IEEE Trans. Dependable Secur. Comput., 18(3):1409--1424, 2021.","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3300061.3345447"},{"key":"e_1_3_2_1_45_1","first-page":"1","volume-title":"Proceedings of the 16th Annual International Conference on Mobile Systems, Applications, and Services, MobiSys 2018","author":"Lentz M.","year":"2018","unstructured":"M. Lentz , R. Sen , P. Druschel , and B. Bhattacharjee . Secloak: ARM trustzone-based mobile peripheral control. In J. Ott, F. Dressler, S. Saroiu, and P. Dutta, editors , Proceedings of the 16th Annual International Conference on Mobile Systems, Applications, and Services, MobiSys 2018 , Munich, Germany, June 10--15 , 2018 , pages 1 -- 13 . ACM, 2018. M. Lentz, R. Sen, P. Druschel, and B. Bhattacharjee. Secloak: ARM trustzone-based mobile peripheral control. In J. Ott, F. Dressler, S. Saroiu, and P. Dutta, editors, Proceedings of the 16th Annual International Conference on Mobile Systems, Applications, and Services, MobiSys 2018, Munich, Germany, June 10--15, 2018, pages 1--13. ACM, 2018."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2637166.2637225"},{"key":"e_1_3_2_1_47_1","volume-title":"Op-tee: Open portable trusted execution environment. https:\/\/www.op-tee.org\/","year":"2017","unstructured":"Linaro. Op-tee: Open portable trusted execution environment. https:\/\/www.op-tee.org\/ , 2017 . Linaro. Op-tee: Open portable trusted execution environment. https:\/\/www.op-tee.org\/, 2017."},{"key":"e_1_3_2_1_48_1","unstructured":"Linux. USB Linux Kernel Driver: OTG-FSM. https:\/\/github.com\/raspberrypi\/linux\/blob\/rpi-5.10.y\/drivers\/usb\/common\/usb-otg-fsm.c.  Linux. USB Linux Kernel Driver: OTG-FSM. https:\/\/github.com\/raspberrypi\/linux\/blob\/rpi-5.10.y\/drivers\/usb\/common\/usb-otg-fsm.c."},{"key":"e_1_3_2_1_49_1","first-page":"1007","volume-title":"DR. CHECKER: A soundy analysis for linux kernel drivers","author":"Machiry A.","year":"2017","unstructured":"A. Machiry , C. Spensky , J. Corina , N. Stephens , C. Kruegel , and G. Vigna . DR. CHECKER: A soundy analysis for linux kernel drivers . In E. Kirda and T. Ristenpart, editors, 26th USENIX Security Symposium, USENIX Security 2017 , Vancouver, BC, Canada, August 16--18, 2017, pages 1007 -- 1024 . USENIX Association , 2017. A. Machiry, C. Spensky, J. Corina, N. Stephens, C. Kruegel, and G. Vigna. DR. CHECKER: A soundy analysis for linux kernel drivers. In E. Kirda and T. Ristenpart, editors, 26th USENIX Security Symposium, USENIX Security 2017, Vancouver, BC, Canada, August 16--18, 2017, pages 1007--1024. USENIX Association, 2017."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451167"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3458864.3466628"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3386901.3388946"},{"key":"e_1_3_2_1_53_1","first-page":"33","volume-title":"13th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2018","author":"Mohan J.","year":"2018","unstructured":"J. Mohan , A. Martinez , S. Ponnapalli , P. Raju , and V. Chidambaram . Finding crash-consistency bugs with bounded black-box crash testing. In A. C. Arpaci-Dusseau and G. Voelker, editors , 13th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2018 , Carlsbad, CA, USA, October 8--10 , 2018 , pages 33 -- 50 . USENIX Association, 2018. J. Mohan, A. Martinez, S. Ponnapalli, P. Raju, and V. Chidambaram. Finding crash-consistency bugs with bounded black-box crash testing. In A. C. Arpaci-Dusseau and G. Voelker, editors, 13th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2018, Carlsbad, CA, USA, October 8--10, 2018, pages 33--50. USENIX Association, 2018."},{"key":"e_1_3_2_1_54_1","first-page":"267","volume-title":"8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8--10, 2008, San Diego, California, USA, Proceedings","author":"Musuvathi M.","year":"2008","unstructured":"M. Musuvathi , S. Qadeer , T. Ball , G. Basler , P. A. Nainar , and I. Neamtiu . Finding and reproducing heisenbugs in concurrent programs. In R. Draves and R. van Renesse, editors , 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8--10, 2008, San Diego, California, USA, Proceedings , pages 267 -- 280 . USENIX Association , 2008 . M. Musuvathi, S. Qadeer, T. Ball, G. Basler, P. A. Nainar, and I. Neamtiu. Finding and reproducing heisenbugs in concurrent programs. In R. Draves and R. van Renesse, editors, 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8--10, 2008, San Diego, California, USA, Proceedings, pages 267--280. USENIX Association, 2008."},{"key":"e_1_3_2_1_55_1","first-page":"417","volume-title":"2015 USENIX Annual Technical Conference (USENIX ATC 15)","author":"Netravali R.","year":"2015","unstructured":"R. Netravali , A. Sivaraman , S. Das , A. Goyal , K. Winstein , J. Mickens , and H. Balakrishnan . Mahimahi: Accurate record-and-replay for HTTP . In 2015 USENIX Annual Technical Conference (USENIX ATC 15) , pages 417 -- 429 , Santa Clara, CA , July 2015 . USENIX Association. R. Netravali, A. Sivaraman, S. Das, A. Goyal, K. Winstein, J. Mickens, and H. Balakrishnan. Mahimahi: Accurate record-and-replay for HTTP. In 2015 USENIX Annual Technical Conference (USENIX ATC 15), pages 417--429, Santa Clara, CA, July 2015. USENIX Association."},{"issue":"9","key":"e_1_3_2_1_56_1","first-page":"1","article-title":"Badusb - on accessories that turn evil","volume":"1","author":"Nohl K.","year":"2014","unstructured":"K. Nohl and J. Lell . Badusb - on accessories that turn evil . Black Hat USA , 1 ( 9 ): 1 -- 22 , 2014 . K. Nohl and J. Lell. Badusb - on accessories that turn evil. Black Hat USA, 1(9):1--22, 2014.","journal-title":"Black Hat USA"},{"key":"e_1_3_2_1_57_1","volume-title":"Tegra2 Family: Technical reference manual","author":"NVIDIA.","year":"2011","unstructured":"NVIDIA. Tegra2 Family: Technical reference manual , 2011 . NVIDIA. Tegra2 Family: Technical reference manual, 2011."},{"key":"e_1_3_2_1_58_1","unstructured":"NXP Semiconductors. i.MX 6SoloX - fact sheet. https:\/\/www.nxp.com\/docs\/en\/fact-sheet\/IMX6SOLOXFS.pdf. (Accessed on 05\/14\/2019).  NXP Semiconductors. i.MX 6SoloX - fact sheet. https:\/\/www.nxp.com\/docs\/en\/fact-sheet\/IMX6SOLOXFS.pdf. (Accessed on 05\/14\/2019)."},{"key":"e_1_3_2_1_59_1","volume-title":"Cortex-M4 | NXP. https:\/\/www.nxp.com\/products\/processors-and-microcontrollers\/arm-based-processors-and-mcus\/i.mx-applications-processors\/i.mx-7-processors:IMX7-SERIES","author":"Semiconductors NXP","year":"2017","unstructured":"NXP Semiconductors . i.MX 7 Series Applications Processors | Arm\u00aeCortex\u00ae-A7 , Cortex-M4 | NXP. https:\/\/www.nxp.com\/products\/processors-and-microcontrollers\/arm-based-processors-and-mcus\/i.mx-applications-processors\/i.mx-7-processors:IMX7-SERIES , 2017 . ( Accessed on 05\/14\/2019). NXP Semiconductors. i.MX 7 Series Applications Processors | Arm\u00aeCortex\u00ae-A7, Cortex-M4 | NXP. https:\/\/www.nxp.com\/products\/processors-and-microcontrollers\/arm-based-processors-and-mcus\/i.mx-applications-processors\/i.mx-7-processors:IMX7-SERIES, 2017. (Accessed on 05\/14\/2019)."},{"key":"e_1_3_2_1_60_1","unstructured":"N. I. of Standards and T. (NIST). Defending against software supply chain attacks. https:\/\/www.cisa.gov\/sites\/default\/files\/publications\/defending_against_software_supply_chain_attacks_508_1.pdf.  N. I. of Standards and T. (NIST). Defending against software supply chain attacks. https:\/\/www.cisa.gov\/sites\/default\/files\/publications\/defending_against_software_supply_chain_attacks_508_1.pdf."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3458864.3467887"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507754"},{"key":"e_1_3_2_1_63_1","first-page":"537","volume-title":"2019 USENIX Annual Technical Conference (USENIX ATC 19)","author":"Park H.","year":"2019","unstructured":"H. Park , S. Zhai , L. Lu , and F. X. Lin . Streambox-tz: Secure stream analytics at the edge with trustzone . In 2019 USENIX Annual Technical Conference (USENIX ATC 19) , pages 537 -- 554 , Renton, WA , July 2019 . USENIX Association. H. Park, S. Zhai, L. Lu, and F. X. Lin. Streambox-tz: Secure stream analytics at the edge with trustzone. In 2019 USENIX Annual Technical Conference (USENIX ATC 19), pages 537--554, Renton, WA, July 2019. USENIX Association."},{"key":"e_1_3_2_1_64_1","first-page":"537","volume-title":"Streambox-tz: Secure stream analytics at the edge with trustzone","author":"Park H.","year":"2019","unstructured":"H. Park , S. Zhai , L. Lu , and F. X. Lin . Streambox-tz: Secure stream analytics at the edge with trustzone . In D. Malkhi and D. Tsafrir, editors, 2019 USENIX Annual Technical Conference, USENIX ATC 2019, Renton, WA, USA, July 10--12, 2019, pages 537 -- 554 . USENIX Association , 2019. H. Park, S. Zhai, L. Lu, and F. X. Lin. Streambox-tz: Secure stream analytics at the edge with trustzone. In D. Malkhi and D. Tsafrir, editors, 2019 USENIX Annual Technical Conference, USENIX ATC 2019, Renton, WA, USA, July 10--12, 2019, pages 537--554. USENIX Association, 2019."},{"key":"e_1_3_2_1_65_1","volume-title":"SGX-LKL: securing the host OS interface for trusted execution. CoRR, abs\/1908.11143","author":"Priebe C.","year":"2019","unstructured":"C. Priebe , D. Muthukumaran , J. Lind , H. Zhu , S. Cui , V. A. Sartakov , and P. R. Pietzuch . SGX-LKL: securing the host OS interface for trusted execution. CoRR, abs\/1908.11143 , 2019 . C. Priebe, D. Muthukumaran, J. Lind, H. Zhu, S. Cui, V. A. Sartakov, and P. R. Pietzuch. SGX-LKL: securing the host OS interface for trusted execution. CoRR, abs\/1908.11143, 2019."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884854"},{"key":"e_1_3_2_1_67_1","unstructured":"Raspberry Pi 3. Raspberry Pi 3 SDHost Driver: SD-EDM_FSM. https:\/\/github.com\/raspberrypi\/linux\/blob\/rpi-5.10.y\/drivers\/mmc\/host\/bcm2835-sdhost.c.  Raspberry Pi 3. Raspberry Pi 3 SDHost Driver: SD-EDM_FSM. https:\/\/github.com\/raspberrypi\/linux\/blob\/rpi-5.10.y\/drivers\/mmc\/host\/bcm2835-sdhost.c."},{"key":"e_1_3_2_1_68_1","first-page":"279","volume-title":"10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012","author":"Renzelmann M. J.","year":"2012","unstructured":"M. J. Renzelmann , A. Kadav , and M. M. Swift . Symdrive: Testing drivers without devices. In C. Thekkath and A. Vahdat, editors , 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012 , Hollywood, CA, USA, October 8--10 , 2012 , pages 279 -- 292 . USENIX Association, 2012. M. J. Renzelmann, A. Kadav, and M. M. Swift. Symdrive: Testing drivers without devices. In C. Thekkath and A. Vahdat, editors, 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012, Hollywood, CA, USA, October 8--10, 2012, pages 279--292. USENIX Association, 2012."},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884817"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629583"},{"key":"e_1_3_2_1_71_1","first-page":"661","volume-title":"11th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 14)","author":"Ryzhyk L.","year":"2014","unstructured":"L. Ryzhyk , A. Walker , J. Keys , A. Legg , A. Raghunath , M. Stumm , and M. Vij . User-guided device driver synthesis . In 11th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 14) , pages 661 -- 676 , 2014 . L. Ryzhyk, A. Walker, J. Keys, A. Legg, A. Raghunath, M. Stumm, and M. Vij. User-guided device driver synthesis. In 11th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 14), pages 661--676, 2014."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/3081333.3081346"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541949"},{"key":"e_1_3_2_1_74_1","volume-title":"Proceedings of the Network and Distributed System Security Symposium, NDSS 2011","author":"Slowinska A.","year":"2011","unstructured":"A. Slowinska , T. Stancescu , and H. Bos . Howard: A dynamic excavator for reverse engineering data structures . In Proceedings of the Network and Distributed System Security Symposium, NDSS 2011 , San Diego, California, USA, 6th February - 9th February 2011 . The Internet Society, 2011. A. Slowinska, T. Stancescu, and H. Bos. Howard: A dynamic excavator for reverse engineering data structures. In Proceedings of the Network and Distributed System Security Symposium, NDSS 2011, San Diego, California, USA, 6th February - 9th February 2011. The Internet Society, 2011."},{"key":"e_1_3_2_1_75_1","first-page":"291","volume-title":"Charm: Facilitating dynamic analysis of device drivers of mobile systems","author":"Talebi S. M. S.","year":"2018","unstructured":"S. M. S. Talebi , H. Tavakoli , H. Zhang , Z. Zhang , A. A. Sani , and Z. Qian . Charm: Facilitating dynamic analysis of device drivers of mobile systems . In W. Enck and A. P. Felt, editors, 27th USENIX Security Symposium, USENIX Security 2018 , Baltimore, MD, USA, August 15--17, 2018, pages 291 -- 307 . USENIX Association , 2018. S. M. S. Talebi, H. Tavakoli, H. Zhang, Z. Zhang, A. A. Sani, and Z. Qian. Charm: Facilitating dynamic analysis of device drivers of mobile systems. In W. Enck and A. P. Felt, editors, 27th USENIX Security Symposium, USENIX Security 2018, Baltimore, MD, USA, August 15--17, 2018, pages 291--307. USENIX Association, 2018."},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/3029806.3029822"},{"key":"e_1_3_2_1_77_1","first-page":"246","volume-title":"2013 28th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2013","author":"Xiao X.","year":"2013","unstructured":"X. Xiao , S. Li , T. Xie , and N. Tillmann . Characteristic studies of loop problems for structural test generation via symbolic execution. In E. Denney, T. Bultan, and A. Zeller, editors , 2013 28th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2013 , Silicon Valley, CA, USA, November 11--15 , 2013 , pages 246 -- 256 . IEEE, 2013. X. Xiao, S. Li, T. Xie, and N. Tillmann. Characteristic studies of loop problems for structural test generation via symbolic execution. In E. Denney, T. Bultan, and A. Zeller, editors, 2013 28th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11--15, 2013, pages 246--256. IEEE, 2013."},{"key":"e_1_3_2_1_78_1","volume-title":"Supporting video queries on zero-streaming cameras. arXiv preprint arXiv:1904.12342","author":"Xu M.","year":"2019","unstructured":"M. Xu , T. Xu , Y. Liu , X. Liu , G. Huang , and F. X. Lin . Supporting video queries on zero-streaming cameras. arXiv preprint arXiv:1904.12342 , 2019 . M. Xu, T. Xu, Y. Liu, X. Liu, G. Huang, and F. X. Lin. Supporting video queries on zero-streaming cameras. arXiv preprint arXiv:1904.12342, 2019."},{"key":"e_1_3_2_1_79_1","first-page":"1","article-title":"Sok: On the soundness and precision of dynamic taint analysis","volume":"2017","author":"Yan L. K.","year":"2017","unstructured":"L. K. Yan and H. Yin . Sok: On the soundness and precision of dynamic taint analysis . Formal. Taint , 2017 : 1 -- 15 , 2017 . L. K. Yan and H. Yin. Sok: On the soundness and precision of dynamic taint analysis. Formal. Taint, 2017:1--15, 2017.","journal-title":"Formal. Taint"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2016.7783742"},{"key":"e_1_3_2_1_81_1","unstructured":"J. Yiu. White paper: Software based Finite State Machine (FSM) with general purpose processors.  J. Yiu. White paper: Software based Finite State Machine (FSM) with general purpose processors."}],"event":{"name":"EuroSys '22: Seventeenth European Conference on Computer Systems","location":"Rennes France","acronym":"EuroSys '22","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the Seventeenth European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3492321.3519565","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3492321.3519565","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3492321.3519565","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:31:07Z","timestamp":1750188667000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3492321.3519565"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,28]]},"references-count":81,"alternative-id":["10.1145\/3492321.3519565","10.1145\/3492321"],"URL":"https:\/\/doi.org\/10.1145\/3492321.3519565","relation":{},"subject":[],"published":{"date-parts":[[2022,3,28]]},"assertion":[{"value":"2022-03-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}