{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:05:41Z","timestamp":1755907541332,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,12,2]],"date-time":"2024-12-02T00:00:00Z","timestamp":1733097600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006374","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["2419880,2340949"],"award-info":[{"award-number":["2419880,2340949"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,12,2]]},"DOI":"10.1145\/3658644.3691378","type":"proceedings-article","created":{"date-parts":[[2024,12,9]],"date-time":"2024-12-09T12:19:20Z","timestamp":1733746760000},"page":"5048-5050","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Poster: BlindMarket: A Trustworthy Chip Designs Marketplace for IP Vendors and Users"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-4783-1481","authenticated-orcid":false,"given":"Zhaoxiang","family":"Liu","sequence":"first","affiliation":[{"name":"Kansas State University, Manhattan, Kansas, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0638-037X","authenticated-orcid":false,"given":"Ning","family":"Luo","sequence":"additional","affiliation":[{"name":"UIUC, Champaign, Illinois, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1270-6601","authenticated-orcid":false,"given":"Samuel","family":"Judson","sequence":"additional","affiliation":[{"name":"Yale University, New Haven, Connecticut, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5686-5666","authenticated-orcid":false,"given":"Raj Gautam","family":"Dutta","sequence":"additional","affiliation":[{"name":"Silicon Assurance, Gainesville, Florida, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9896-9407","authenticated-orcid":false,"given":"Xiaolong","family":"Guo","sequence":"additional","affiliation":[{"name":"Kansas State University, Manhattan, Kansas, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8646-4364","authenticated-orcid":false,"given":"Mark","family":"Santolucito","sequence":"additional","affiliation":[{"name":"Barnard College, Columbia University, New York City, New York, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,12,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238218"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3508352.3549455"},{"key":"e_1_3_2_1_5_1","unstructured":"Mark Tehranipoor Hassan Salmani. [n. d.]. Trusthub. https:\/\/www.trust-hub.org\/."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.952740"},{"key":"e_1_3_2_1_7_1","volume-title":"Farimah Farahmandi, and Mark Tehranipoor.","author":"Kamali Hadi Mardani","year":"2022","unstructured":"Hadi Mardani Kamali, Kimia Zamiri Azar, Farimah Farahmandi, and Mark Tehranipoor. 2022. Advances in Logic Locking: Past, Present, and Prospects. IACR Cryptol. ePrint Arch. (2022)."},{"key":"e_1_3_2_1_8_1","volume-title":"31st USENIX Security Symposium (USENIX Security 22)","author":"Luo Ning","year":"2022","unstructured":"Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, and Xiao Wang. 2022. ppSAT: Towards Two-Party Private SAT Solving. In 31st USENIX Security Symposium (USENIX Security 22). 2983--3000."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218639"},{"volume-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS '16)","author":"Mukherjee Rajdeep","key":"e_1_3_2_1_10_1","unstructured":"Rajdeep Mukherjee, Michael Tautschnig, and Daniel Kroening. 2016. v2c -- A Verilog to C Translator Tool. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS '16). Springer, 580--586."},{"key":"e_1_3_2_1_11_1","volume-title":"Pyverilog: A Python-based Hardware Design Processing Toolkit for Verilog HDL. In Applied Reconfigurable Computing: 11th International Symposium, ARC","author":"Takamaeda-Yamazaki Shinya","year":"2015","unstructured":"Shinya Takamaeda-Yamazaki. 2015. Pyverilog: A Python-based Hardware Design Processing Toolkit for Verilog HDL. In Applied Reconfigurable Computing: 11th International Symposium, ARC 2015, Bochum, Germany, April 13--17, 2015, Proceedings 11. Springer, 451--460."},{"key":"e_1_3_2_1_12_1","unstructured":"Various Contributors. 2021. OpenCores.org."},{"key":"e_1_3_2_1_13_1","unstructured":"Debby Wu. 2020. Engineers Found Guilty of Stealing Micron Secrets for China. Bloomberg."}],"event":{"name":"CCS '24: ACM SIGSAC Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Salt Lake City UT USA","acronym":"CCS '24"},"container-title":["Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3658644.3691378","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3658644.3691378","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T06:17:46Z","timestamp":1755843466000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3658644.3691378"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,2]]},"references-count":13,"alternative-id":["10.1145\/3658644.3691378","10.1145\/3658644"],"URL":"https:\/\/doi.org\/10.1145\/3658644.3691378","relation":{},"subject":[],"published":{"date-parts":[[2024,12,2]]},"assertion":[{"value":"2024-12-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}