{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,7]],"date-time":"2025-08-07T09:09:28Z","timestamp":1754557768191,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":82,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,12,9]],"date-time":"2019-12-09T00:00:00Z","timestamp":1575849600000},"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":[[2019,12,9]]},"DOI":"10.1145\/3359789.3359802","type":"proceedings-article","created":{"date-parts":[[2019,11,22]],"date-time":"2019-11-22T18:41:59Z","timestamp":1574448119000},"page":"673-686","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["WooKey"],"prefix":"10.1145","author":[{"given":"Ryad","family":"Benadjila","sequence":"first","affiliation":[{"name":"ANSSI, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnauld","family":"Michelizza","sequence":"additional","affiliation":[{"name":"ANSSI, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathieu","family":"Renard","sequence":"additional","affiliation":[{"name":"ANSSI, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Thierry","sequence":"additional","affiliation":[{"name":"ANSSI, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Trebuchet","sequence":"additional","affiliation":[{"name":"ANSSI, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,12,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Modchips of the State (35C3). https:\/\/fahrplan.events.ccc.de\/congress\/2018\/Fahrplan\/events\/9597.html.  Modchips of the State (35C3). https:\/\/fahrplan.events.ccc.de\/congress\/2018\/Fahrplan\/events\/9597.html."},{"key":"e_1_3_2_1_2_1","unstructured":"The Rust Language. https:\/\/www.rust-lang.org\/.  The Rust Language. https:\/\/www.rust-lang.org\/."},{"key":"e_1_3_2_1_3_1","unstructured":"The WooKey project. https:\/\/wookey-project.github.io\/ 2019.  The WooKey project. https:\/\/wookey-project.github.io\/ 2019."},{"key":"e_1_3_2_1_4_1","unstructured":"Adacore. GnatProve formal verification tool. https:\/\/docs.adacore.com\/spark2014-docs\/html\/ug\/en\/source\/how_to_run_gnatprove.html.  Adacore. GnatProve formal verification tool. https:\/\/docs.adacore.com\/spark2014-docs\/html\/ug\/en\/source\/how_to_run_gnatprove.html."},{"key":"e_1_3_2_1_5_1","unstructured":"Altran AdaCore. SPARK programming language. https:\/\/www.spark-2014.org\/.  Altran AdaCore. SPARK programming language. https:\/\/www.spark-2014.org\/."},{"key":"e_1_3_2_1_6_1","first-page":"397","volume-title":"USENIX Security Symposium","author":"Angel S.","year":"2016"},{"key":"e_1_3_2_1_7_1","unstructured":"Bacca N. Secure Hardware and Open Source 2016.  Bacca N. Secure Hardware and Open Source 2016."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092893.3092896"},{"key":"e_1_3_2_1_10_1","unstructured":"Bunnie X. 30c3: Exploration and exploitation of an sd memory card. http:\/\/www.youtube.com\/watch?v=r3GDPwIuRKI.  Bunnie X. 30c3: Exploration and exploitation of an sd memory card. http:\/\/www.youtube.com\/watch?v=r3GDPwIuRKI."},{"key":"e_1_3_2_1_11_1","unstructured":"Bunnie X. Lecture: The exploration and exploitation of an sd memory card. https:\/\/events.ccc.de\/congress\/2013\/Fahrplan\/events\/5294.html.  Bunnie X. Lecture: The exploration and exploitation of an sd memory card. https:\/\/events.ccc.de\/congress\/2013\/Fahrplan\/events\/5294.html."},{"key":"e_1_3_2_1_12_1","first-page":"231","volume-title":"Twenty-Sixth Annual Computer Security Applications Conference, ACSAC 2010","author":"Butler K. R. B.","year":"2010"},{"key":"e_1_3_2_1_13_1","unstructured":"B\u00f6ddeker R. Crypto Stick Storage. https:\/\/raymii.org\/s\/inc\/downloads\/nitrokey-storage-Manual.pdf 2014.  B\u00f6ddeker R. Crypto Stick Storage. https:\/\/raymii.org\/s\/inc\/downloads\/nitrokey-storage-Manual.pdf 2014."},{"volume-title":"SSTIC 2016","year":"2016","author":"Camredon B.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103799.2103805"},{"key":"e_1_3_2_1_16_1","unstructured":"Chen Y. Zhang Y. Wang Z. and Wei T. Downgrade Attack on TrustZone. arXiv preprint arXiv:1707.05082 (2017).  Chen Y. Zhang Y. Wang Z. and Wei T. Downgrade Attack on TrustZone. arXiv preprint arXiv:1707.05082 (2017)."},{"key":"e_1_3_2_1_17_1","first-page":"65","volume-title":"27th USENIX Security Symposium (USENIX Security 18)","author":"Clements A. A.","year":"2018"},{"key":"e_1_3_2_1_18_1","unstructured":"Committee T. T. Scsi architecture. http:\/\/www.t10.org\/scsi3.htm.  Committee T. T. Scsi architecture. http:\/\/www.t10.org\/scsi3.htm."},{"key":"e_1_3_2_1_19_1","unstructured":"DataLocker. BadUSB vs. DataLocker Sentry 3.0. http:\/\/www.ireo.com\/fileadmin\/img\/Fabricantes_y_productos\/datalocker\/BadUSBWP.pdf 2015.  DataLocker. BadUSB vs. DataLocker Sentry 3.0. http:\/\/www.ireo.com\/fileadmin\/img\/Fabricantes_y_productos\/datalocker\/BadUSBWP.pdf 2015."},{"volume-title":"Breaking Bitcoin Hardware Wallet. DEF CON 2017","year":"2017","author":"Datko J.","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","unstructured":"Davis A. Revealing embedded fingerprints: Deriving intelligence from usb stack interactions. Blackhat USA (2013).  Davis A. Revealing embedded fingerprints: Deriving intelligence from usb stack interactions. Blackhat USA (2013)."},{"key":"e_1_3_2_1_22_1","unstructured":"Deeg M. and Sebastian S. Cryptographically Secure? SySS Cracks a USB Flash Drive 2009.  Deeg M. and Sebastian S. Cryptographically Secure? SySS Cracks a USB Flash Drive 2009."},{"key":"e_1_3_2_1_23_1","unstructured":"Dmitry Nedospasov Josh Datko T. R. Hardware Wallet Vulnerabilities. https:\/\/media.ccc.de\/v\/35c3-9563-wallet_fail\/oembed 2018.  Dmitry Nedospasov Josh Datko T. R. Hardware Wallet Vulnerabilities. https:\/\/media.ccc.de\/v\/35c3-9563-wallet_fail\/oembed 2018."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2004.38"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33167-1_41"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Dworkin M. NIST SP 800-38E Recommendation for Block Cipher Modes of Operation: The XTS-AES Mode for Confidentiality on Storage Devices. https:\/\/nvlpubs.nist.gov\/nistpubs\/Legacy\/SP\/nistspecialpublication800-38e.pdf 2010.  Dworkin M. NIST SP 800-38E Recommendation for Block Cipher Modes of Operation: The XTS-AES Mode for Confidentiality on Storage Devices. https:\/\/nvlpubs.nist.gov\/nistpubs\/Legacy\/SP\/nistspecialpublication800-38e.pdf 2010.","DOI":"10.6028\/NIST.SP.800-38e"},{"volume-title":"Open Source","year":"2016","author":"Ehrensv\u00e4rd J.","key":"e_1_3_2_1_27_1"},{"key":"e_1_3_2_1_28_1","unstructured":"Emmanuel Baccelli Thomas Schmidt M. W. Riot - the friendly operating system for the internet of things. https:\/\/riot-os.org\/.  Emmanuel Baccelli Thomas Schmidt M. W. Riot - the friendly operating system for the internet of things. https:\/\/riot-os.org\/."},{"key":"e_1_3_2_1_29_1","unstructured":"etal D. K. Hack 5 USB Rubber Ducky Part 1 2010.  et al. D. K. Hack 5 USB Rubber Ducky Part 1 2010."},{"key":"e_1_3_2_1_30_1","unstructured":"Fruhwirth C. New Methods in Hard Disk Encryption. na 2005.  Fruhwirth C. New Methods in Hard Disk Encryption. na 2005."},{"key":"e_1_3_2_1_31_1","unstructured":"Gerlinsky C. Breaking Code Read Protection on the NXP LPC-family Microcontrollers. https:\/\/recon.cx\/2017\/brussels\/resources\/slides\/RECON-BRX-2017-Breaking_CRP_on_NXP_LPC_Microcontrollers_slides.pdf 2017.  Gerlinsky C. Breaking Code Read Protection on the NXP LPC-family Microcontrollers. https:\/\/recon.cx\/2017\/brussels\/resources\/slides\/RECON-BRX-2017-Breaking_CRP_on_NXP_LPC_Microcontrollers_slides.pdf 2017."},{"key":"e_1_3_2_1_32_1","unstructured":"G\u00f6tzfried J. and M\u00fcller T. Analysing android's full disk encryption feature. Journal of Wireless Mobile Networks Ubiquitous Computing and Dependable Applications 5 (03 2014) 84--100.  G\u00f6tzfried J. and M\u00fcller T. Analysing android's full disk encryption feature. Journal of Wireless Mobile Networks Ubiquitous Computing and Dependable Applications 5 (03 2014) 84--100."},{"key":"e_1_3_2_1_33_1","unstructured":"Hacker10. USB encryption. https:\/\/www.hacker10.com\/usb-encryption\/.  Hacker10. USB encryption. https:\/\/www.hacker10.com\/usb-encryption\/."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2893177"},{"key":"e_1_3_2_1_35_1","first-page":"47","author":"Henry T.","year":"2004","journal-title":"Universal Serial Bus Device Class Specification for Device Firmware Upgrade."},{"key":"e_1_3_2_1_36_1","unstructured":"Holdings A. The arm cortex-m architecture. https:\/\/developer.arm.com\/products\/processors\/cortex-m.  Holdings A. The arm cortex-m architecture. https:\/\/developer.arm.com\/products\/processors\/cortex-m."},{"key":"e_1_3_2_1_37_1","unstructured":"Holdings A. ARMv7-M Architecture Reference Manual. https:\/\/static.docs.arm.com\/ddi0403\/e\/DDI0403E_d_armv7m_arm.pdf 2010.  Holdings A. ARMv7-M Architecture Reference Manual. https:\/\/static.docs.arm.com\/ddi0403\/e\/DDI0403E_d_armv7m_arm.pdf 2010."},{"key":"e_1_3_2_1_38_1","unstructured":"Hotz G. and Team C.-D. Limera1n exploit (souce code). https:\/\/github.com\/Chronic-Dev\/syringe\/blob\/master\/syringe\/exploits\/limera1n\/limera1n.c 2010.  Hotz G. and Team C.-D. Limera1n exploit (souce code). https:\/\/github.com\/Chronic-Dev\/syringe\/blob\/master\/syringe\/exploits\/limera1n\/limera1n.c 2010."},{"key":"e_1_3_2_1_39_1","unstructured":"IronKey. IronKey. http:\/\/www.ironkey.com\/en-US\/.  IronKey. IronKey. http:\/\/www.ironkey.com\/en-US\/."},{"key":"e_1_3_2_1_40_1","unstructured":"Jim Huang G. K. E. A. F9-Microkernel implementation. https:\/\/github.com\/Nitrokey\/nitrokey-storage-hardware\/blob\/master\/V1.3\/Partlist\/BOM.xlsx 2012.  Jim Huang G. K. E. A. F9-Microkernel implementation. https:\/\/github.com\/Nitrokey\/nitrokey-storage-hardware\/blob\/master\/V1.3\/Partlist\/BOM.xlsx 2012."},{"first-page":"119","volume-title":"Proceedings of the 18th Annual Computer Security Applications Conference (Washington, DC, USA, 2002), ACSAC '02, IEEE Computer Society","author":"Karger P. A.","key":"e_1_3_2_1_41_1"},{"volume-title":"NDSS","year":"2018","author":"Kim C. H.","key":"e_1_3_2_1_42_1"},{"key":"e_1_3_2_1_43_1","unstructured":"Kingston. Encrypted Drive. https:\/\/www.kingston.com\/fr\/usb\/encrypted_security.  Kingston. Encrypted Drive. https:\/\/www.kingston.com\/fr\/usb\/encrypted_security."},{"key":"e_1_3_2_1_44_1","unstructured":"Kingston. Kingston DataTraveller. https:\/\/www.kingston.com\/en\/usb.  Kingston. Kingston DataTraveller. https:\/\/www.kingston.com\/en\/usb."},{"key":"e_1_3_2_1_45_1","unstructured":"Kingston. Get BadUSB protection from IronKey USB Flash drives. https:\/\/media.kingston.com\/images\/usb\/pdf\/BADUSB_us.pdf 2016.  Kingston. Get BadUSB protection from IronKey USB Flash drives. https:\/\/media.kingston.com\/images\/usb\/pdf\/BADUSB_us.pdf 2016."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_47_1","unstructured":"Kreder K. Hardware Wallet Vulnerabilities. https:\/\/blog.gridplus.io\/hardware-wallet-vulnerabilities-f20688361b88.  Kreder K. Hardware Wallet Vulnerabilities. https:\/\/blog.gridplus.io\/hardware-wallet-vulnerabilities-f20688361b88."},{"key":"e_1_3_2_1_48_1","unstructured":"Ledger. Ledger Hardware Waller. https:\/\/www.ledger.fr\/hardware-wallets\/.  Ledger. Ledger Hardware Waller. https:\/\/www.ledger.fr\/hardware-wallets\/."},{"key":"e_1_3_2_1_49_1","unstructured":"Ledger. Ledger BOLOS. https:\/\/www.ledger.fr\/introducing-bolos-blockchain-open-ledger-operating-system\/ 2017.  Ledger. Ledger BOLOS. https:\/\/www.ledger.fr\/introducing-bolos-blockchain-open-ledger-operating-system\/ 2017."},{"key":"e_1_3_2_1_50_1","unstructured":"Lell J. Practical malleability attack against CBC-Encrypted LUKS partitions 2013.  Lell J. Practical malleability attack against CBC-Encrypted LUKS partitions 2013."},{"key":"e_1_3_2_1_51_1","first-page":"1","volume-title":"2011 IEEE Sixth International Workshop on","author":"Letaw L.","year":"2011"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3124680.3124717"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/WF-IoT.2016.7845512"},{"volume-title":"National Institute of Standards and Technology","year":"2010","author":"Meltem S\u00f6nmez Turan","key":"e_1_3_2_1_55_1"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2017.08.002"},{"key":"e_1_3_2_1_57_1","unstructured":"Nitrokey. How Nitrokey's Firmware is Protected Against BadUSB and NSA. https:\/\/www.nitrokey.com\/news\/2015\/how-nitrokeys-firmware-protected-against-badusb-and-nsa.  Nitrokey. How Nitrokey's Firmware is Protected Against BadUSB and NSA. https:\/\/www.nitrokey.com\/news\/2015\/how-nitrokeys-firmware-protected-against-badusb-and-nsa."},{"key":"e_1_3_2_1_58_1","unstructured":"Nitrokey. Nitrokey. https:\/\/www.nitrokey.com\/.  Nitrokey. Nitrokey. https:\/\/www.nitrokey.com\/."},{"key":"e_1_3_2_1_59_1","unstructured":"Nohl K. and Lell J. BadUSB-On accessories that turn evil. Black Hat USA (2014).  Nohl K. and Lell J. BadUSB-On accessories that turn evil. Black Hat USA (2014)."},{"volume-title":"11th USENIX Workshop on Offensive Technologies (WOOT 17)","year":"2017","author":"Obermaier J.","key":"e_1_3_2_1_60_1"},{"key":"e_1_3_2_1_61_1","unstructured":"Oracle. Java Card 3 Platform Runtime Environment Specification Classic Edition Version 3.0.5 2015.  Oracle. Java Card 3 Platform Runtime Environment Specification Classic Edition Version 3.0.5 2015."},{"key":"e_1_3_2_1_62_1","unstructured":"Path I. USB Armory. https:\/\/inversepath.com\/usbarmory.  Path I. USB Armory. https:\/\/inversepath.com\/usbarmory."},{"key":"e_1_3_2_1_63_1","unstructured":"Path I. USB armory security advisory. https:\/\/github.com\/inversepath\/usbarmory\/blob\/master\/software\/secure_boot\/Security_Advisory-Ref_QBVR2017-0001.txt 2017.  Path I. USB armory security advisory. https:\/\/github.com\/inversepath\/usbarmory\/blob\/master\/software\/secure_boot\/Security_Advisory-Ref_QBVR2017-0001.txt 2017."},{"volume-title":"National Institute of Standards and Technology","year":"2017","author":"Paul A.","key":"e_1_3_2_1_64_1"},{"key":"e_1_3_2_1_65_1","unstructured":"Picod J.-M. Audebert R. Blumenstein S. and Bursztein E. Attacking encrypted USB keys the hard(ware) way. Black Hat USA (2017).  Picod J.-M. Audebert R. Blumenstein S. and Bursztein E. Attacking encrypted USB keys the hard(ware) way. Black Hat USA (2017)."},{"key":"e_1_3_2_1_66_1","unstructured":"Pierce B. C. Types and programming languages 2002.  Pierce B. C. Types and programming languages 2002."},{"first-page":"355","volume-title":"IEEE","author":"Popek G. J.","key":"e_1_3_2_1_67_1"},{"key":"e_1_3_2_1_68_1","unstructured":"project team Z. Zephyr project. https:\/\/docs.zephyrproject.org 2017.  project team Z. Zephyr project. https:\/\/docs.zephyrproject.org 2017."},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"crossref","unstructured":"Rashid R. F. and Robertson G. G. Accent: A communication oriented network operating system kernel. SIGOPS (Dec. 1981).  Rashid R. F. and Robertson G. G. Accent: A communication oriented network operating system kernel. SIGOPS (Dec. 1981).","DOI":"10.1145\/800216.806593"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/2492312.2492318"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/2207676.2208352"},{"volume-title":"Berkman Klein Center for Internet & Society","year":"2016","author":"Schneier B.","key":"e_1_3_2_1_72_1"},{"key":"e_1_3_2_1_73_1","unstructured":"Semiconductors N. Nxp j3d081_m59_df and j3d081_m61_df secure smart card controller revision 2. https:\/\/www.commoncriteriaportal.org\/files\/epfiles\/0860b_pdf.pdf 2013.  Semiconductors N. Nxp j3d081_m59_df and j3d081_m61_df secure smart card controller revision 2. https:\/\/www.commoncriteriaportal.org\/files\/epfiles\/0860b_pdf.pdf 2013."},{"key":"e_1_3_2_1_74_1","unstructured":"Services A. W. Freertos. https:\/\/www.freertos.org\/static_menu.html.  Services A. W. Freertos. https:\/\/www.freertos.org\/static_menu.html."},{"key":"e_1_3_2_1_75_1","unstructured":"Teller D. Redox os. https:\/\/archive.fosdem.org\/2017\/schedule\/event\/microkernel_redox_os\/ 2017.  Teller D. Redox os. https:\/\/archive.fosdem.org\/2017\/schedule\/event\/microkernel_redox_os\/ 2017."},{"key":"e_1_3_2_1_76_1","unstructured":"Temkin K. and Szekely M. Fus\u00e9e Gel\u00e9e Exploit (souce code). https:\/\/github.com\/Cease-and-DeSwitch\/fusee-launcher 2018.  Temkin K. and Szekely M. Fus\u00e9e Gel\u00e9e Exploit (souce code). https:\/\/github.com\/Cease-and-DeSwitch\/fusee-launcher 2018."},{"key":"e_1_3_2_1_77_1","unstructured":"The Common Criteria Project. The Common Criteria Portal. https:\/\/www.commoncriteriaportal.org\/.  The Common Criteria Project. The Common Criteria Portal. https:\/\/www.commoncriteriaportal.org\/."},{"first-page":"261","volume-title":"Proceedings of the 31st Annual Computer Security Applications Conference (New York, NY, USA, 2015), ACSAC 2015, ACM","author":"Tian D. J.","key":"e_1_3_2_1_78_1"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978398"},{"volume-title":"USENIX Security Symposium","year":"2016","author":"Tian D. J.","key":"e_1_3_2_1_80_1"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00037"},{"key":"e_1_3_2_1_82_1","unstructured":"TREZOR. TREZOR. https:\/\/trezor.io\/.  TREZOR. TREZOR. https:\/\/trezor.io\/."},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"crossref","unstructured":"Wulf W. Cohen E. Corwin W. Jones A. Levin R. Pierson C. and Pollack F. Hydra: The kernel of a multiprocessor operating system. ACM (June 1974).  Wulf W. Cohen E. Corwin W. Jones A. Levin R. Pierson C. and Pollack F. Hydra: The kernel of a multiprocessor operating system. ACM (June 1974).","DOI":"10.1145\/355616.364017"},{"key":"e_1_3_2_1_84_1","unstructured":"Zeitcontrol. BasicCard Developer Manual V8.15 2013.  Zeitcontrol. BasicCard Developer Manual V8.15 2013."}],"event":{"name":"ACSAC '19: 2019 Annual Computer Security Applications Conference","acronym":"ACSAC '19","location":"San Juan Puerto Rico USA"},"container-title":["Proceedings of the 35th Annual Computer Security Applications Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359789.3359802","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3359789.3359802","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:07Z","timestamp":1750202587000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359789.3359802"}},"subtitle":["designing a trusted and efficient USB device"],"short-title":[],"issued":{"date-parts":[[2019,12,9]]},"references-count":82,"alternative-id":["10.1145\/3359789.3359802","10.1145\/3359789"],"URL":"https:\/\/doi.org\/10.1145\/3359789.3359802","relation":{},"subject":[],"published":{"date-parts":[[2019,12,9]]},"assertion":[{"value":"2019-12-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}