{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,11]],"date-time":"2025-12-11T20:19:15Z","timestamp":1765484355099,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,6,22]],"date-time":"2023-06-22T00:00:00Z","timestamp":1687392000000},"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":[[2023,6,22]]},"DOI":"10.1145\/3593856.3595903","type":"proceedings-article","created":{"date-parts":[[2023,6,22]],"date-time":"2023-06-22T22:20:41Z","timestamp":1687472441000},"page":"46-52","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Putting out the hardware dumpster fire"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7215-9147","authenticated-orcid":false,"given":"Ben","family":"Fiedler","sequence":"first","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4412-9004","authenticated-orcid":false,"given":"Daniel","family":"Schwyn","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2738-0974","authenticated-orcid":false,"given":"Constantin","family":"Gierczak-Galle","sequence":"additional","affiliation":[{"name":"ENS Paris, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2997-6560","authenticated-orcid":false,"given":"David","family":"Cock","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8298-1126","authenticated-orcid":false,"given":"Timothy","family":"Roscoe","sequence":"additional","affiliation":[{"name":"ETH Zurich, Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,6,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3458336.3465273"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94821-8_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.244.4"},{"key":"e_1_3_2_1_4_1","volume-title":"Black Hat USA","author":"Artenstein Nitay","year":"2017","unstructured":"Nitay Artenstein. Broadpwn: Remotely compromising Android and iOS via a bug in Broadcom's Wi-Fi chipsets. Black Hat USA, 2017."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2980024.2872371"},{"key":"e_1_3_2_1_6_1","first-page":"29","volume-title":"Akhilesh Singhania. The Multikernel: A New OS Architecture for Scalable Multicore Systems. In Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles, SOSP '09","author":"Baumann Andrew","year":"2009","unstructured":"Andrew Baumann, Paul Barham, Pierre-Evariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Sch\u00fcpbach, and Akhilesh Singhania. The Multikernel: A New OS Architecture for Scalable Multicore Systems. In Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles, SOSP '09, page 29--44, New York, NY, USA, 2009. Association for Computing Machinery."},{"key":"e_1_3_2_1_7_1","volume-title":"Open Source Firmware Conference 2022","author":"Cantrill Bryan","year":"2022","unstructured":"Bryan Cantrill. I have come to bury the BIOS, not to open it: the need for holistic systems. Open Source Firmware Conference 2022, https:\/\/www.osfc.io\/2022\/talks\/i-have-come-to-bury-the-bios-not-to-open-it-the-need-for-holistic-systems\/, September 2022."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833639"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507742"},{"key":"e_1_3_2_1_10_1","volume-title":"January","author":"Erata Ferhat","year":"2023","unstructured":"Ferhat Erata, Shuwen Deng, Faisal Zaghloul, Wenjie Xiong, Onur Demir, and Jakub Szefer. Survey of approaches and techniques for security verification of computer systems. 19(1), January 2023."},{"key":"e_1_3_2_1_11_1","first-page":"58","volume-title":"Tencent Blade Team. Exploiting Qualcomm WLAN and Modem Over the Air. Proceedings of the BlackHat USA 2019","author":"Gong Xiling","year":"2019","unstructured":"Xiling Gong, Peter Pi, and Tencent Blade Team. Exploiting Qualcomm WLAN and Modem Over the Air. Proceedings of the BlackHat USA 2019, page 58, 2019."},{"issue":"10","key":"e_1_3_2_1_12_1","first-page":"89","volume":"62","author":"Gu Ronghui","year":"2019","unstructured":"Ronghui Gu, Zhong Shao, Hao Chen, Jieung Kim, J\u00e9r\u00e9mie Koenig, Xiongnan (Newman) Wu, Vilhelm Sj\u00f6berg, and David Costanzo. Building Certified Concurrent OS Kernels. Commun. ACM, 62(10):89--99, September 2019.","journal-title":"David Costanzo. Building Certified Concurrent OS Kernels. Commun. ACM"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-15-5329-5_2"},{"key":"e_1_3_2_1_14_1","volume-title":"Hudson and Larry Rudolph. Thunderstrike: EFI Firmware Bootkits for Apple MacBooks. In Proceedings of the 8th ACM International Systems and Storage Conference, SYSTOR '15","author":"Trammell","year":"2015","unstructured":"Trammell Hudson and Larry Rudolph. Thunderstrike: EFI Firmware Bootkits for Apple MacBooks. In Proceedings of the 8th ACM International Systems and Storage Conference, SYSTOR '15, New York, NY, USA, 2015. Association for Computing Machinery."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23194"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/LADC.2016.31"},{"volume-title":"February","year":"2023","key":"e_1_3_2_1_18_1","unstructured":"0xide. https:\/\/oxide.computer\/, February 2023."},{"key":"e_1_3_2_1_19_1","volume-title":"15th USENIX Symposium on Operating Systems Design and Implementation, https:\/\/www.usenix.org\/conference\/osdi21\/presentation\/fri-keynote","author":"Roscoe Timothy","year":"2021","unstructured":"Timothy Roscoe. It's time for operating systems to rediscover hardware. Keynote, 15th USENIX Symposium on Operating Systems Design and Implementation, https:\/\/www.usenix.org\/conference\/osdi21\/presentation\/fri-keynote, July 2021."},{"volume-title":"Frequently Asked Questions on seL4. https:\/\/docs.sel4.systems\/projects\/sel4\/frequently-asked-questions.html","year":"2023","key":"e_1_3_2_1_20_1","unstructured":"seL4 Foundation. Frequently Asked Questions on seL4. https:\/\/docs.sel4.systems\/projects\/sel4\/frequently-asked-questions.html, 2023. accessed on 2013-01-26."},{"key":"e_1_3_2_1_21_1","volume-title":"ZeroNights","author":"Selyanin Denis","year":"2018","unstructured":"Denis Selyanin. Researching Marvell Avastar Wi-Fi: from zero knowledge to over-the-air zero-touch RCE. ZeroNights, 2018."},{"key":"e_1_3_2_1_22_1","volume-title":"April","author":"Semiconductors NXP","year":"2014","unstructured":"NXP Semiconductors. I2C-bus specification and user manual. https:\/\/www.nxp.com\/docs\/en\/user-guide\/UM10204.pdf, April 2014. Rev. 6."},{"key":"e_1_3_2_1_23_1","volume-title":"June","author":"Semiconductors NXP","year":"2019","unstructured":"NXP Semiconductors. i.MX 8DualX\/8DualXPlus\/8QuadXPlus Applications Processor Reference Manual, June 2019."},{"key":"e_1_3_2_1_24_1","unstructured":"System Management Interface Forum. System Management Bus (SM-Bus) Specification. http:\/\/www.smbus.org\/specs\/index.html March 2018. v3.1."},{"key":"e_1_3_2_1_25_1","unstructured":"System Management Interface Forum (SMIF) Inc. PMBus\u2122 Power System Management Protocol Specification revision 1.2. http:\/\/www.powersig.org\/ September 2020."}],"event":{"name":"HotOS '23: 19th Workshop on Hot Topics in Operating Systems","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Providence RI USA","acronym":"HOTOS '23"},"container-title":["Proceedings of the 19th Workshop on Hot Topics in Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3593856.3595903","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3593856.3595903","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:47:51Z","timestamp":1750178871000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3593856.3595903"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,22]]},"references-count":25,"alternative-id":["10.1145\/3593856.3595903","10.1145\/3593856"],"URL":"https:\/\/doi.org\/10.1145\/3593856.3595903","relation":{},"subject":[],"published":{"date-parts":[[2023,6,22]]},"assertion":[{"value":"2023-06-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}