{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T22:09:24Z","timestamp":1784239764812,"version":"3.55.0"},"reference-count":51,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T00:00:00Z","timestamp":1777852800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T00:00:00Z","timestamp":1777852800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2340949,2419880,2304533"],"award-info":[{"award-number":["2340949,2419880,2304533"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,5,4]]},"DOI":"10.1109\/host68814.2026.11604624","type":"proceedings-article","created":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T20:02:14Z","timestamp":1784145734000},"page":"197-208","source":"Crossref","is-referenced-by-count":0,"title":["BlindMarket: Enabling Verifiable, Confidential, and Traceable IP Core Distribution in Zero-Trust Settings"],"prefix":"10.1109","author":[{"given":"Zhaoxiang","family":"Liu","sequence":"first","affiliation":[{"name":"Kansas State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Samuel","family":"Judson","sequence":"additional","affiliation":[{"name":"Trail of Bits"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Raj","family":"Dutta","sequence":"additional","affiliation":[{"name":"Silicon Assurance"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mark","family":"Santolucito","sequence":"additional","affiliation":[{"name":"Barnard College, Columbia University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiaolong","family":"Guo","sequence":"additional","affiliation":[{"name":"Kansas State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ning","family":"Luo","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","first-page":"2022","article-title":"Global semiconductor sales, units shipped reach all-time highs in 2021 as industry ramps up production amid shortage","volume":"16","author":"Association","year":"2022","journal-title":"Haettu"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2017.7858389"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3658644.3690344"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/AsianHOST.2017.8353999"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2018.00071"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2021.3066560"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3390\/electronics11244216"},{"key":"ref8","article-title":"Former russian asml employee set for court hearing in alleged ip theft case","volume-title":"Reuters","author":"Staff","year":"2025"},{"key":"ref9","article-title":"Tesla sues former employee for allegedly stealing autopilot source code for chinese rival","volume-title":"CNN Business","author":"Iyengar","year":"2019"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1080\/01972243.2016.1177762"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49025-0"},{"key":"ref12","author":"Ray","year":"2023","journal-title":"Samsung Bans ChatGPT Among Employees After Sensitive Code Leak"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/43.952740"},{"key":"ref14","first-page":"1","article-title":"Active Hardware Metering for Intellectual Property Protection and Security","volume-title":"USENIX Security Symposium (USENIX Security \u201907)","volume":"20","author":"Alkabani","year":"2007"},{"key":"ref15","article-title":"Advances in Logic Locking: Past, Present, and Prospects","author":"Kamali","year":"2022","journal-title":"IACR Cryptol. ePrint Arch."},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2028166"},{"key":"ref17","first-page":"1","article-title":"IEEE Recommended Practice for Encryption and Management of Electronic Design Intellectual Property (IP)","volume-title":"IEEE Std 1735\u20132014 (Incorporates IEEE Std 1735\u20132014\/Cor 1-2015)","year":"2015"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833605"},{"key":"ref19","volume-title":"How Israel\u2019s bulky pager fooled Hezbollah","author":"Gebeily","year":"2025"},{"key":"ref20","first-page":"2983","article-title":"ppSAT: Towards Two-Party Private SAT Solving","volume-title":"31st USENIX Security Symposium (USENIX Security 22)","author":"Luo","year":"2022"},{"key":"ref21","volume-title":"Formal verification of hardware using mlir","author":"Dobis","year":"2024"},{"key":"ref22","volume-title":"A Practical Guide for SystemVerilog Assertions","author":"Vijayaraghavan","year":"2005"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1986.25"},{"key":"ref24","first-page":"1","article-title":"Garbled EDA: Privacy Preserving Electronic Design Automation","volume-title":"2022 IEEE\/ACM International Conference On Computer Aided Design (ICCAD \u201922)","author":"Hashemi","year":"2022"},{"key":"ref25","article-title":"MPloC: Privacy-Preserving IP Verification using Logic Locking and Secure Multiparty Computation","author":"Mouris","year":"2023","journal-title":"Cryptology ePrint Archive"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218639"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134040"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3315669"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/AsianHOST53231.2021.9699720"},{"key":"ref30","article-title":"Ictoken: An nft for hardware ip protection","author":"Balla","year":"2024","journal-title":"arXiv preprint"},{"key":"ref31","article-title":"Non-fungible token (nft): Overview, evaluation, opportunities and challenges","author":"Wang","year":"2021","journal-title":"arXiv preprint"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16214-0_42"},{"key":"ref33","author":"Wolf","year":"2016","journal-title":"Yosys open synthesis suite"},{"key":"ref34","first-page":"14","article-title":"The smt-lib standard: Version 2.0","volume-title":"Proceedings of the 8th international workshop on satisfiability modulo theories","volume":"13","author":"Barrett","year":"2010"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/277044.277186"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-81955-1_28"},{"key":"ref37","article-title":"Compilers principles, techniques & tools","author":"Alfred","year":"2007","journal-title":"pearson Education"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-58603-929-5-131"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34188-5_8"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364479"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643505"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238218"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_36"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49213-5_4"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_19"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0058022"},{"key":"ref47","author":"Wang","year":"2016","journal-title":"Emp-toolkit: Efficient multiparty computation toolkit"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref49","first-page":"580","article-title":"v2c - A Verilog to C Translator Tool","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS \u201916)","author":"Mukherjee","year":"2016"},{"key":"ref50","volume-title":"OpenCores.org","year":"2021"},{"key":"ref51","volume-title":"Trusthub","author":"Hassan Salmani"}],"event":{"name":"2026 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)","location":"Washington, DC, USA","start":{"date-parts":[[2026,5,4]]},"end":{"date-parts":[[2026,5,7]]}},"container-title":["2026 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11604575\/11604182\/11604624.pdf?arnumber=11604624","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T21:45:59Z","timestamp":1784238359000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11604624\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,4]]},"references-count":51,"URL":"https:\/\/doi.org\/10.1109\/host68814.2026.11604624","relation":{},"subject":[],"published":{"date-parts":[[2026,5,4]]}}}