{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T07:51:36Z","timestamp":1790927496172,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,30]],"date-time":"2022-10-30T00:00:00Z","timestamp":1667088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000028","name":"Semiconductor Research Corporation","doi-asserted-by":"publisher","award":["2991.001 and 2992.001"],"award-info":[{"award-number":["2991.001 and 2992.001"]}],"id":[{"id":"10.13039\/100000028","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,30]]},"DOI":"10.1145\/3508352.3549455","type":"proceedings-article","created":{"date-parts":[[2022,12,22]],"date-time":"2022-12-22T12:10:54Z","timestamp":1671711054000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Garbled EDA"],"prefix":"10.1145","author":[{"given":"Mohammad","family":"Hashemi","sequence":"first","affiliation":[{"name":"Worcester Polytechnic Institute"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Steffi","family":"Roy","sequence":"additional","affiliation":[{"name":"University of Florida"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fatemeh","family":"Ganji","sequence":"additional","affiliation":[{"name":"Worcester Polytechnic Institute"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Domenic","family":"Forte","sequence":"additional","affiliation":[{"name":"University of Florida"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,12,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. of the 2019 on Great Lakes Symp. on VLSI. 471--476","author":"Azar K. Zarimi","unstructured":"K. Zarimi Azar, H. Mardani Kamali, H. Homayoun, and A. Sasan. 2019. Threats on logic locking: A decade later. In Proc. of the 2019 on Great Lakes Symp. on VLSI. 471--476."},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. of the 2012 ACM Conf. on Computer and communications security. 784--796","author":"Bellare M.","unstructured":"M. Bellare, V. T. Hoang, and P. Rogaway. 2012. Foundations of garbled circuits. In Proc. of the 2012 ACM Conf. on Computer and communications security. 784--796."},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. of the ACM SIGSAC Conf. on Computer and Communications Security. 1533--1546","author":"Chhotaray A.","unstructured":"A. Chhotaray, A. Nahiyan, T. Shrimpton, D. Forte, and M. M. Tehranipoor. 2017. Standardizing bad cryptographic practice: A teardown of the IEEE standard for protecting electronic-design intellectual property. In Proc. of the ACM SIGSAC Conf. on Computer and Communications Security. 1533--1546."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-019-05800-4"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"O. Goldreich S. Micali and A. Wigderson. 2019. How to play any mental game or a completeness theorem for protocols with honest majority. In Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali. 307--328.","DOI":"10.1145\/3335741.3335759"},{"key":"e_1_3_2_1_6_1","volume-title":"Annual Intrl. Cryptology Conf. Springer, 39--56","author":"Goldwasser S.","unstructured":"S. Goldwasser, Y. T. Kalai, and G. N. Rothblum. 2008. One-time programs. In Annual Intrl. Cryptology Conf. Springer, 39--56."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2893183"},{"key":"e_1_3_2_1_8_1","volume-title":"Intrl. Conf. on Financial Crypto. and Data Security. Springer, 98--112","author":"Gunupudi V.","unstructured":"V. Gunupudi and S. R. Tate. 2008. Generalized non-interactive oblivious transfer using count-limited objects with applications to secure mobile agents. In Intrl. Conf. on Financial Crypto. and Data Security. Springer, 98--112."},{"key":"e_1_3_2_1_9_1","volume-title":"Retrieved","author":"Horspool R. N.","year":"2021","unstructured":"R. N. Horspool, W. D. Lyons, and M. Serra. 2016. The ARMSim. (2016). Retrieved November 15, 2021 from https:\/\/webhome.cs.uvic.ca\/~nigelh\/ARMSim-V2.1\/index.html"},{"key":"e_1_3_2_1_10_1","volume-title":"Annual Cryptology Conf. Springer, 458--475","author":"Huang Y.","unstructured":"Y. Huang, J. Katz, V. Kolesnikov, R. Kumaresan, and A. J. Malozemoff. 2014. Amortizing garbled circuits. In Annual Cryptology Conf. Springer, 458--475."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3411501.3419433"},{"key":"e_1_3_2_1_12_1","volume-title":"1735-2014-IEEE recommended practice for encryption and management of electronic design intellectual property (IP). [Online]http:\/\/standards.ieee.org\/findstds\/standard\/1735-2014.html [Accessed: Oct.11","author":"IEEE.","year":"2021","unstructured":"IEEE. 2014. 1735-2014-IEEE recommended practice for encryption and management of electronic design intellectual property (IP). [Online]http:\/\/standards.ieee.org\/findstds\/standard\/1735-2014.html [Accessed: Oct.11, 2021]. (2014)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/62212.62215"},{"key":"e_1_3_2_1_14_1","volume-title":"Automation & Test in Europe Conf. & Exhibition. IEEE, 508--513","author":"Knechtel J.","unstructured":"J. Knechtel, E. B. Kavun, F. Regazzoni, A. Heuser, A. Chattopadhyay, D. Mukhopadhyay, S. Dey, Y. Fei, Y. Belenky, I. Levi, T. G\u00fcneysu, P. Schaumont, and I. Polian. 2020. Towards secure composition of integrated circuits and electronic systems: On the role of EDA. In Design, Automation & Test in Europe Conf. & Exhibition. IEEE, 508--513."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"V. Kolesnikov and T. Schneider. 2008. Improved garbled circuit: Free XOR gates and applications. In Intrl. Colloquium on Automata Languages and Programming. Springer 486--498.","DOI":"10.1007\/978-3-540-70583-3_40"},{"key":"e_1_3_2_1_16_1","volume-title":"Retrieved","author":"Larus J.","year":"2018","unstructured":"J. Larus. 2018. SPIM: A MIPS32 simulator. (2018). Retrieved November 15, 2021 from http:\/\/spimsimulator.sourceforge.net\/"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-015-9198-0"},{"key":"e_1_3_2_1_18_1","volume-title":"Annual Intrl. Conf. on the theory and applications of cryptographic techniques. Springer, 52--78","author":"Lindell Y.","unstructured":"Y. Lindell and B. Pinkas. 2007. An efficient protocol for secure two-party computation in the presence of malicious adversaries. In Annual Intrl. Conf. on the theory and applications of cryptographic techniques. Springer, 52--78."},{"key":"e_1_3_2_1_19_1","volume-title":"Intrl. Workshop on Hardware-Oriented Security and Trust. IEEE, 74--81","author":"Maes R.","unstructured":"R. Maes, D. Schellekens, P. Tuyls, and I. Verbauwhede. 2009. Analysis and design of active IC metering schemes. In Intrl. Workshop on Hardware-Oriented Security and Trust. IEEE, 74--81."},{"key":"e_1_3_2_1_20_1","volume-title":"IEEE P1735 encryption is broken---flaws allow intellectual property theft. [Online]https:\/\/thehackernews.com\/2017\/11\/ieee-p1735-ip-encryption.html [Accessed: Oct.21","author":"Mohit K.","year":"2021","unstructured":"K. Mohit. 2017. IEEE P1735 encryption is broken---flaws allow intellectual property theft. [Online]https:\/\/thehackernews.com\/2017\/11\/ieee-p1735-ip-encryption.html [Accessed: Oct.21, 2021]. (2017)."},{"key":"e_1_3_2_1_21_1","volume-title":"Retrieved","author":"Mukherjee R.","year":"2021","unstructured":"R. Mukherjee, M. Tautschnig, and D. Kroening. 2016. V2C - A verilog to C translator tool. (2016). Retrieved November 15, 2021 from http:\/\/www.cprover.org\/hardware\/v2c"},{"key":"e_1_3_2_1_22_1","volume-title":"Proc. of the 1st ACM Conf. on Electronic Commerce. 129--139","author":"Naor M.","unstructured":"M. Naor, B. Pinkas, and R. Sumner. 1999. Privacy preserving auctions and mechanism design. In Proc. of the 1st ACM Conf. on Electronic Commerce. 129--139."},{"key":"e_1_3_2_1_23_1","volume-title":"Retrieved","author":"Rhoads S.","year":"2001","unstructured":"S. Rhoads. 2001. Plasma - most MIPS I(TM) opcodes. (2001). Retrieved November 15, 2021 from https:\/\/opencores.org\/projects\/plasma"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2010.284"},{"key":"e_1_3_2_1_25_1","volume-title":"Retrieved","author":"Santifort C.","year":"2010","unstructured":"C. Santifort. 2010. Amber ARM-compatible core. (2010). Retrieved November 15, 2021 from https:\/\/opencores.org\/projects\/amber"},{"key":"e_1_3_2_1_26_1","volume-title":"Symp. on Security and Privacy. IEEE, 411--428","author":"Songhori E. M.","unstructured":"E. M. Songhori, S. U. Hussain, A. Sadeghi, T. Schneider, and F. Koushanfar. 2015. TinyGarble: Highly compressed and scalable sequential garbled circuits. In Symp. on Security and Privacy. IEEE, 411--428."},{"key":"e_1_3_2_1_27_1","volume-title":"Proc. of the 56th Annual Design Automation Conf.","author":"Songhori E. M.","year":"2019","unstructured":"E. M. Songhori, M S. Riazi, H. U. Siam, A. Sadeghi, and F. Koushanfar. 2019. ARM2GC: Succinct garbled processor for secure computation. In Proc. of the 56th Annual Design Automation Conf. 2019. 1--6."},{"key":"e_1_3_2_1_28_1","volume-title":"ACM\/EDAC\/IEEE Design Automation Conf. 1--6.","author":"Songhori E. M.","unstructured":"E. M. Songhori, T. Schneider, S. Zeitouni, A. Sadeghi, G. Dessouky, and F. Koushanfar. 2016. Garbledcpu: A mips processor for secure computation in hardware. In ACM\/EDAC\/IEEE Design Automation Conf. 1--6."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.00062"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"A. Stern H. Wang F. Rahman F. Farahmandi and M. M. Tehranipoor. 2021. ACED-IT: Assuring confidential electronic design against insider threats in a zero trust environment. Trans. on Computer-Aided Design of Integrated Circuits and Systems (2021).","DOI":"10.1109\/TCAD.2021.3127864"},{"key":"e_1_3_2_1_31_1","volume-title":"European Symp. on Research in Computer Security. Springer, 99--117","author":"Wang X.","unstructured":"X. Wang, S. D. Gordon, A. McIntosh, and J. Katz. 2016. Secure computation of MIPS machine code. In European Symp. on Research in Computer Security. Springer, 99--117."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1986.25"}],"event":{"name":"ICCAD '22: IEEE\/ACM International Conference on Computer-Aided Design","location":"San Diego California","acronym":"ICCAD '22","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE-EDS Electronic Devices Society","IEEE CAS","IEEE CEDA"]},"container-title":["Proceedings of the 41st IEEE\/ACM International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3508352.3549455","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3508352.3549455","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:57Z","timestamp":1750186977000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3508352.3549455"}},"subtitle":["Privacy Preserving Electronic Design Automation"],"short-title":[],"issued":{"date-parts":[[2022,10,30]]},"references-count":32,"alternative-id":["10.1145\/3508352.3549455","10.1145\/3508352"],"URL":"https:\/\/doi.org\/10.1145\/3508352.3549455","relation":{},"subject":[],"published":{"date-parts":[[2022,10,30]]},"assertion":[{"value":"2022-12-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}