{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T17:11:28Z","timestamp":1781370688899,"version":"3.54.1"},"reference-count":87,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2023,4,20]],"date-time":"2023-04-20T00:00:00Z","timestamp":1681948800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF","award":["#2039607"],"award-info":[{"award-number":["#2039607"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2023,5,31]]},"abstract":"<jats:p>\n            Designers use third-party\n            <jats:bold>intellectual property (IP)<\/jats:bold>\n            cores and outsource various steps in the\n            <jats:bold>integrated circuit (IC)<\/jats:bold>\n            design and manufacturing flow. As a result, security vulnerabilities have been rising. This is forcing IC designers and end users to re-evaluate their trust in ICs. If attackers get hold of an unprotected IC, they can reverse engineer the IC and pirate the IP. Similarly, if attackers get hold of a design, they can insert malicious circuits or take advantage of \u201cbackdoors\u201d in a design. Unintended design bugs can also result in security weaknesses. This tutorial paper provides an introduction to the domain of hardware security through two pedagogical examples of hardware security problems. The first is a walk-through of the scan chain-based side channel attack. The second is a walk-through of logic locking of digital designs. The tutorial material is accompanied by open access digital resources that are linked in this article.\n          <\/jats:p>","DOI":"10.1145\/3577200","type":"journal-article","created":{"date-parts":[[2023,1,17]],"date-time":"2023-01-17T12:00:12Z","timestamp":1673956812000},"page":"1-40","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["High-Level Approaches to Hardware Security: A Tutorial"],"prefix":"10.1145","volume":"22","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3488-7004","authenticated-orcid":false,"given":"Hammond","family":"Pearce","sequence":"first","affiliation":[{"name":"New York University, Brooklyn, New York, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7989-5617","authenticated-orcid":false,"given":"Ramesh","family":"Karri","sequence":"additional","affiliation":[{"name":"New York University, Brooklyn, New York, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7642-3638","authenticated-orcid":false,"given":"Benjamin","family":"Tan","sequence":"additional","affiliation":[{"name":"University of Calgary, Calgary, Alberta, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,4,20]]},"reference":[{"key":"e_1_3_6_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/AsianHOST53231.2021.9699758"},{"key":"e_1_3_6_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89754-5_18"},{"key":"e_1_3_6_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2021.3089555"},{"key":"e_1_3_6_5_2","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2014.6847798"},{"key":"e_1_3_6_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/TETC.2019.2940750"},{"key":"e_1_3_6_7_2","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1145\/3287624.3287693","volume-title":"Proceedings of the 24th Asia and South Pacific Design Automation Conference (ASPDAC\u201919)","author":"Alrahis Lilas","year":"2019","unstructured":"Lilas Alrahis, Muhammad Yasin, Hani Saleh, Baker Mohammad, Mahmoud Al-Qutayri, and Ozgur Sinanoglu. 2019. ScanSAT: Unlocking obfuscated scan chains. In Proceedings of the 24th Asia and South Pacific Design Automation Conference (ASPDAC\u201919). Association for Computing Machinery, New York, NY, USA, 352\u2013357. DOI:10.1145\/3287624.3287693"},{"key":"e_1_3_6_8_2","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1109\/ISOCC.2012.6407063","volume-title":"2012 International SoC Design Conference (ISOCC)","author":"Atobe Yuta","year":"2012","unstructured":"Yuta Atobe, Youhua Shi, Masao Yanagisawa, and Nozomu Togawa. 2012. Dynamically changeable secure scan architecture against scan-based side channel attack. In 2012 International SoC Design Conference (ISOCC). 155\u2013158. DOI:10.1109\/ISOCC.2012.6407063"},{"key":"e_1_3_6_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3080257"},{"key":"e_1_3_6_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-13039-2_11"},{"key":"e_1_3_6_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-03515-4_6"},{"key":"e_1_3_6_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/3315574"},{"key":"e_1_3_6_13_2","doi-asserted-by":"publisher","DOI":"10.46586\/tches.v2022.i2.92-114"},{"key":"e_1_3_6_14_2","first-page":"1","volume-title":"2021 IEEE\/ACM International Conference On Computer Aided Design (ICCAD)","author":"Bhandari Jitendra","year":"2021","unstructured":"Jitendra Bhandari, Abdul Khader Thalakkattu Moosa, Benjamin Tan, Christian Pilato, Ganesh Gore, Xifan Tang, Scott Temple, Pierre-Emmanuel Gaillardon, and Ramesh Karri. 2021. Exploring eFPGA-based redaction for IP protection. In 2021 IEEE\/ACM International Conference On Computer Aided Design (ICCAD). 1\u20139. DOI:10.1109\/ICCAD51958.2021.9643548ISSN: 1558-2434."},{"key":"e_1_3_6_15_2","first-page":"1","volume-title":"2018 International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES)","author":"Brasser Ferdinand","year":"2018","unstructured":"Ferdinand Brasser, Lucas Davi, Abhijitt Dhavlle, Tommaso Frassetto, Sai Manoj Pudukotai Dinakarrao, Setareh Rafatirad, Ahmad-Reza Sadeghi, Avesta Sasan, Hossein Sayadi, Shaza Zeitouni, and Houman Homayoun. 2018. Special session: Advances and throwbacks in hardware-assisted security. In 2018 International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES). IEEE, Turin, 1\u201310. DOI:10.1109\/CASES.2018.8516874"},{"key":"e_1_3_6_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2019.2944586"},{"key":"e_1_3_6_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2021.3096028"},{"key":"e_1_3_6_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2028166"},{"key":"e_1_3_6_19_2","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1109\/DATE.1998.655868","volume-title":"Proceedings Design, Automation and Test in Europe","author":"Chang Douglas","year":"1998","unstructured":"Douglas Chang, Mike Tien-Chien Lee, Kwang-Ting Cheng, and Malgorzata Marek-Sadowska. 1998. Functional scan chain testing. In Proceedings Design, Automation and Test in Europe. IEEE Comput. Soc, Paris, France, 278\u2013283. DOI:10.1109\/DATE.1998.655868"},{"key":"e_1_3_6_20_2","unstructured":"Mike Chapple. 2018. Confidentiality Integrity and Availability - The CIA Triad. https:\/\/www.certmike.com\/confidentiality-integrity-and-availability-the-cia-triad\/."},{"key":"e_1_3_6_21_2","first-page":"1","volume-title":"2020 57th ACM\/IEEE Design Automation Conference (DAC)","author":"Chen Jianqi","year":"2020","unstructured":"Jianqi Chen, Monir Zaman, Yiorgos Makris, R. D. Shawn Blanton, Subhasish Mitra, and Benjamin Carrion Schafer. 2020. DECOY: DEflection-driven HLS-based computation partitioning for obfuscating intellectual PropertY. In 2020 57th ACM\/IEEE Design Automation Conference (DAC). 1\u20136. DOI:10.1109\/DAC18072.2020.9218519ISSN: 0738-100X."},{"key":"e_1_3_6_22_2","first-page":"1","volume-title":"Proceedings of the ACM\/IEEE International Symposium on Low Power Electronics and Design (ISLPED\u201922)","author":"Chowdhury Prattay","year":"2022","unstructured":"Prattay Chowdhury, Chaitali Sathe, and Benjamin Carrion Schaefer. 2022. Predictive model attack for embedded FPGA logic locking. In Proceedings of the ACM\/IEEE International Symposium on Low Power Electronics and Design (ISLPED\u201922). Association for Computing Machinery, New York, NY, USA, 1\u20136. DOI:10.1145\/3531437.3539728"},{"key":"e_1_3_6_23_2","unstructured":"European Commission. 2022. State of the Union: New EU cybersecurity rules. https:\/\/ec.europa.eu\/commission\/presscorner\/detail\/en\/ip_22_5374."},{"key":"e_1_3_6_24_2","volume-title":"Research Needs for Trustworthy, and Reliable Semiconductors","author":"Consortium Computing Community","year":"2013","unstructured":"Computing Community Consortium. 2013. Research Needs for Trustworthy, and Reliable Semiconductors. Technical Report. https:\/\/www.src.org\/calendar\/e004965\/sa-ts-workshop-report-final.pdf."},{"key":"e_1_3_6_25_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.iot.2019.100055"},{"key":"e_1_3_6_26_2","unstructured":"Semiconductor Research Corporation. 2022. Semiconductor Research Corporation - SRC. https:\/\/www.src.org\/program\/grc\/hws\/."},{"key":"e_1_3_6_27_2","unstructured":"The MITRE Corporation. 2022. CWE - CWE-1194: Hardware Design (4.1). https:\/\/cwe.mitre.org\/data\/definitions\/1194.html."},{"key":"e_1_3_6_28_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2016.10.011"},{"key":"e_1_3_6_29_2","unstructured":"DARPA. 2020. DARPA Selects Teams to Increase Security of Semiconductor Supply Chain. https:\/\/www.darpa.mil\/news-events\/2020-05-27."},{"key":"e_1_3_6_30_2","volume-title":"2022 Semiconductor Industry Outlook","year":"2022","unstructured":"Deloitte.2022. 2022 Semiconductor Industry Outlook. Technical Report. https:\/\/www2.deloitte.com\/us\/en\/pages\/technology-media-and-telecommunications\/articles\/semiconductor-industry-outlook.html."},{"key":"e_1_3_6_31_2","first-page":"1","volume-title":"2019 IEEE International Test Conference (ITC)","author":"Duvalsaint Danielle","year":"2019","unstructured":"Danielle Duvalsaint, Xiaoxiao Jin, Benjamin Niewenhuis, and R. D. Blanton. 2019. Characterization of locked combinational circuits via ATPG. In 2019 IEEE International Test Conference (ITC). 1\u201310. DOI:10.1109\/ITC44170.2019.9000130.ISSN: 2378-2250."},{"key":"e_1_3_6_32_2","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1109\/ITC-Asia.2019.00030","volume-title":"2019 IEEE International Test Conference in Asia (ITC-Asia)","author":"Duvalsaint Danielle","year":"2019","unstructured":"Danielle Duvalsaint, Zeye Liu, Ananya Ravikumar, and Ronald D. Blanton. 2019. Characterization of locked sequential circuits via ATPG. In 2019 IEEE International Test Conference in Asia (ITC-Asia). 97\u2013102. DOI:10.1109\/ITC-Asia.2019.00030"},{"key":"e_1_3_6_33_2","volume-title":"Algorithms for the Satisfiability (SAT) Problem: A Survey","author":"Gu Jun","year":"1996","unstructured":"Jun Gu, Paul W. Purdom, John Franco, and Benjamin W. Wah. 1996. Algorithms for the Satisfiability (SAT) Problem: A Survey. Technical Report. Cincinnati Univ. Ohio, Dept. of Electrical and Computer Engineering. https:\/\/apps.dtic.mil\/sti\/citations\/ADA326042.Section: Technical Reports."},{"key":"e_1_3_6_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2018.2797019"},{"key":"e_1_3_6_35_2","doi-asserted-by":"publisher","DOI":"10.1109\/OLT.2004.1319691"},{"key":"e_1_3_6_36_2","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2008.83"},{"key":"e_1_3_6_37_2","doi-asserted-by":"publisher","DOI":"10.1109\/IEEESTD.2013.6515989"},{"key":"e_1_3_6_38_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2019.00118"},{"key":"e_1_3_6_39_2","unstructured":"Rajit Karmakar Santanu Chatopadhyay and Rohit Kapur. 2018. Encrypt Flip-Flop: A Novel Logic Encryption Technique For Sequential Circuits. DOI:10.48550\/arXiv.1801.04961arXiv:1801.04961 [cs]."},{"key":"e_1_3_6_40_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2019.2915606"},{"key":"e_1_3_6_41_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2014.6853210"},{"key":"e_1_3_6_42_2","volume-title":"40th IEEE Symposium on Security and Privacy (S&P\u201919)","author":"Kocher Paul","year":"2019","unstructured":"Paul Kocher, Jann Horn, Anders Fogh, and Daniel Genkin, Daniel Gruss, Werner Haas, Mike Hamburg, Moritz Lipp, Stefan Mangard, Thomas Prescher, Michael Schwarz, and Yuval Yarom. 2019. Spectre attacks: Exploiting speculative execution. In 40th IEEE Symposium on Security and Privacy (S&P\u201919)."},{"key":"e_1_3_6_43_2","doi-asserted-by":"publisher","DOI":"10.1109\/MSEC.2020.2990230"},{"key":"e_1_3_6_44_2","first-page":"540","volume-title":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","author":"Li Leon","year":"2019","unstructured":"Leon Li and Alex Orailoglu. 2019. Piercing logic locking keys through redundancy identification. In 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE). 540\u2013545. DOI:10.23919\/DATE.2019.8714955ISSN: 1558-1101."},{"key":"e_1_3_6_45_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3029133"},{"key":"e_1_3_6_46_2","first-page":"1","volume-title":"2019 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","author":"Limaye Nimisha","year":"2019","unstructured":"Nimisha Limaye, Abhrajit Sengupta, Mohammed Nabeel, and Ozgur Sinanoglu. 2019. Is robust design-for-security robust enough? Attack on locked circuits with restricted scan chain access. In 2019 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD). 1\u20138. DOI:10.1109\/ICCAD45719.2019.8942047ISSN: 1558-2434."},{"key":"e_1_3_6_47_2","volume-title":"27th USENIX Security Symposium (USENIX Security 18)","author":"Lipp Moritz","year":"2018","unstructured":"Moritz Lipp, Michael Schwarz, Daniel Gruss, Thomas Prescher, Werner Haas, Anders Fogh, Jann Horn, Stefan Mangard, Paul Kocher, Daniel Genkin, Yuval Yarom, and Mike Hamburg. 2018. Meltdown: Reading kernel memory from user space. In 27th USENIX Security Symposium (USENIX Security 18)."},{"key":"e_1_3_6_48_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.istr.2009.06.001"},{"key":"e_1_3_6_49_2","unstructured":"The MITRE Corporation (MITRE). 2022. CWE - CWE Most Important Hardware Weaknesses. https:\/\/cwe.mitre.org\/scoring\/lists\/2021_CWE_MIHW.html."},{"key":"e_1_3_6_50_2","first-page":"6","volume-title":"Design, Automation & Test in Europe Conference & Exhibition (DATE)","author":"Mohan Prashanth","year":"2021","unstructured":"Prashanth Mohan, Oguz Atli, Joseph Sweeney, Onur Kibar, Larry Pileggi, and Ken Mai. 2021. Hardware redaction via designer-directed fine-grained eFPGA insertion. In Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE, Virtual, 6."},{"key":"e_1_3_6_51_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2019.2915318"},{"key":"e_1_3_6_52_2","volume-title":"Data Encryption Standard (DES)","year":"1999","unstructured":"NIST. 1999. Data Encryption Standard (DES). Technical Report Federal Information Processing Standard (FIPS) PUB 46-3. U.S. Department of Commerce National Institute of Standards and Technology. https:\/\/csrc.nist.gov\/csrc\/media\/publications\/fips\/46\/3\/archive\/1999-10-25\/documents\/fips46-3.pdf."},{"key":"e_1_3_6_53_2","doi-asserted-by":"publisher","DOI":"10.6028\/NIST.FIPS.197"},{"key":"e_1_3_6_54_2","volume-title":"14th USENIX Workshop on Offensive Technologies (WOOT 20)","author":"Obermaier Johannes","year":"2020","unstructured":"Johannes Obermaier, Marc Schink, and Kosma Moczek. 2020. One exploit to rule them all? On the security of drop-in replacement and counterfeit microcontrollers. In 14th USENIX Workshop on Offensive Technologies (WOOT 20). USENIX Association. https:\/\/www.usenix.org\/conference\/woot20\/presentation\/obermaier."},{"key":"e_1_3_6_55_2","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1145\/3549206.3549235","volume-title":"Proceedings of the 2022 Fourteenth International Conference on Contemporary Computing (IC3-2022)","author":"Paul Anu","year":"2022","unstructured":"Anu Paul, Mohankumar N., and Nirmala Devi M.2022. Obviating multiple attacks with enhanced logic locking. In Proceedings of the 2022 Fourteenth International Conference on Contemporary Computing (IC3-2022). Association for Computing Machinery, New York, NY, USA, 162\u2013167. DOI:10.1145\/3549206.3549235"},{"key":"e_1_3_6_56_2","doi-asserted-by":"crossref","unstructured":"Md. Moshiur Rahman and Swarup Bhunia. 2022. Practical Implementation of Robust State Space Obfuscation for Hardware IP Protection. DOI:10.36227\/techrxiv.21405075.v1","DOI":"10.36227\/techrxiv.21405075.v1"},{"key":"e_1_3_6_57_2","first-page":"83","volume-title":"DAC Design Automation Conference 2012","author":"Rajendran Jeyavijayan","year":"2012","unstructured":"Jeyavijayan Rajendran, Youngok Pino, Ozgur Sinanoglu, and Ramesh Karri. 2012. Security analysis of logic obfuscation. In DAC Design Automation Conference 2012. 83\u201389. DOI:10.1145\/2228360.2228377ISSN: 0738-100X."},{"key":"e_1_3_6_58_2","first-page":"753","volume-title":"Proceedings of the 41st Annual Conference on Design Automation - DAC\u201904","author":"Ravi Srivaths","year":"2004","unstructured":"Srivaths Ravi, Paul Kocher, Ruby Lee, Gary McGraw, and Anand Raghunathan. 2004. Security as a new dimension in embedded system design. In Proceedings of the 41st Annual Conference on Design Automation - DAC\u201904. ACM Press, San Diego, CA, USA, 753. DOI:10.1145\/996566.996771"},{"key":"e_1_3_6_59_2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2335155"},{"key":"e_1_3_6_60_2","first-page":"1069","volume-title":"Proceedings of the Conference on Design, Automation and Test in Europe (DATE\u201908)","author":"Roy Jarrod A.","year":"2008","unstructured":"Jarrod A. Roy, Farinaz Koushanfar, and Igor L. Markov. 2008. EPIC: Ending piracy of integrated circuits. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE\u201908). ACM, New York, NY, USA, 1069\u20131074. DOI:10.1145\/1403375.1403631"},{"issue":"3","key":"e_1_3_6_61_2","article-title":"The CIA strikes back: Redefining confidentiality, integrity and availability in security.","volume":"10","author":"Samonas Spyridon","year":"2014","unstructured":"Spyridon Samonas and David Coss. 2014. The CIA strikes back: Redefining confidentiality, integrity and availability in security. Journal of Information System Security 10, 3 (July2014).","journal-title":"Journal of Information System Security"},{"key":"e_1_3_6_62_2","article-title":"Pipeline attack yields urgent lessons about U.S. cybersecurity","author":"Sanger David E.","year":"2021","unstructured":"David E. Sanger and Nicole Perlroth. 2021. Pipeline attack yields urgent lessons about U.S. cybersecurity. The New York Times (May2021). https:\/\/www.nytimes.com\/2021\/05\/14\/us\/politics\/pipeline-hack.html.","journal-title":"The New York Times"},{"key":"e_1_3_6_63_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2007.906483"},{"key":"e_1_3_6_64_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.2968898"},{"key":"e_1_3_6_65_2","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2017.7951805"},{"key":"e_1_3_6_66_2","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1145\/3060403.3060458","volume-title":"Proceedings of the on Great Lakes Symposium on VLSI 2017 (GLSVLSI\u201917)","author":"Shamsi Kaveh","year":"2017","unstructured":"Kaveh Shamsi, Meng Li, Travis Meade, Zheng Zhao, David Z. Pan, and Yier Jin. 2017. Cyclic obfuscation for creating SAT-unresolvable circuits. In Proceedings of the on Great Lakes Symposium on VLSI 2017 (GLSVLSI\u201917). Association for Computing Machinery, Banff, Alberta, Canada, 173\u2013178. DOI:10.1145\/3060403.3060458"},{"key":"e_1_3_6_67_2","doi-asserted-by":"crossref","first-page":"534","DOI":"10.23919\/DATE.2019.8715053","volume-title":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","author":"Shamsi Kaveh","year":"2019","unstructured":"Kaveh Shamsi, Meng Li, David Z. Pan, and Yier Jin. 2019. KC2: Key-condition crunching for fast sequential circuit deobfuscation. In 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE). 534\u2013539. DOI:10.23919\/DATE.2019.8715053ISSN: 1558-1101."},{"key":"e_1_3_6_68_2","first-page":"1","volume-title":"2019 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","author":"Shamsi Kaveh","year":"2019","unstructured":"Kaveh Shamsi, David Z. Pan, and Yier Jin. 2019. IcySAT: Improved SAT-based attacks on cyclic locked circuits. In 2019 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD). 1\u20137. DOI:10.1109\/ICCAD45719.2019.8942049ISSN: 1558-2434."},{"key":"e_1_3_6_69_2","doi-asserted-by":"crossref","first-page":"657","DOI":"10.1145\/3287624.3287670","volume-title":"Proceedings of the 24th Asia and South Pacific Design Automation Conference","author":"Shen Yuanqi","year":"2019","unstructured":"Yuanqi Shen, You Li, Amin Rezaei, Shuyu Kong, David Dlott, and Hai Zhou. 2019. BeSAT: Behavioral SAT-based attack on cyclic logic encryption. In Proceedings of the 24th Asia and South Pacific Design Automation Conference. ACM, Tokyo Japan, 657\u2013662. DOI:10.1145\/3287624.3287670"},{"key":"e_1_3_6_70_2","doi-asserted-by":"crossref","first-page":"528","DOI":"10.23919\/DATE.2019.8714856","volume-title":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","author":"Shihab Mustafa M.","year":"2019","unstructured":"Mustafa M. Shihab, Jingxiang Tian, Gaurav Rajavendra Reddy, Bo Hu, William Swartz, Benjamin Carrion Schaefer, Carl Sechen, and Yiorgos Makris. 2019. Design obfuscation through selective post-fabrication transistor-level programming. In 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE). 528\u2013533. DOI:10.23919\/DATE.2019.8714856ISSN: 1558-1101."},{"key":"e_1_3_6_71_2","volume-title":"Threat Modeling: Designing for Security","author":"Shostack Adam","year":"2014","unstructured":"Adam Shostack. 2014. Threat Modeling: Designing for Security. John Wiley & Sons."},{"key":"e_1_3_6_72_2","doi-asserted-by":"publisher","DOI":"10.1145\/3431389"},{"key":"e_1_3_6_73_2","first-page":"1","volume-title":"2021 IFIP\/IEEE 29th International Conference on Very Large Scale Integration (VLSI-SoC)","author":"Sisejkovic Dominik","year":"2021","unstructured":"Dominik Sisejkovic, Lennart M. Reimann, Elmira Moussavi, Farhad Merchant, and Rainer Leupers. 2021. Logic locking at the frontiers of machine learning: A survey on developments and opportunities. In 2021 IFIP\/IEEE 29th International Conference on Very Large Scale Integration (VLSI-SoC). 1\u20136. DOI:10.1109\/VLSI-SoC53125.2021.9606979ISSN: 2324-8440."},{"key":"e_1_3_6_74_2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2325397"},{"key":"e_1_3_6_75_2","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2015.7140252"},{"key":"e_1_3_6_76_2","unstructured":"Tanel Tammet. 2022. Logictools. http:\/\/logictools.org."},{"key":"e_1_3_6_77_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED54688.2022.9806254"},{"key":"e_1_3_6_78_2","unstructured":"Benjamin Tan Ramesh Karri Nimisha Limaye Abhrajit Sengupta Ozgur Sinanoglu Md Moshiur Rahman Swarup Bhunia Danielle Duvalsaint R. D. Shawn Blanton Amin Rezaei Yuanqi Shen Hai Zhou Leon Li Alex Orailoglu Zhaokun Han Austin Benedetti Luciano Brignone Muhammad Yasin Jeyavijayan Rajendran Michael Zuzak Ankur Srivastava Ujjwal Guin Chandan Karfa Kanad Basu Vivek V. Menon Matthew French Peilin Song Franco Stellari Gi-Joon Nam Peter Gadfort Alric Althoff Joseph Tostenrude Saverio Fazzari Eric Breckenfeld and Kenneth Plaks. 2020. Benchmarking at the Frontier of Hardware Security: Lessons from Logic Locking. http:\/\/arxiv.org\/abs\/2006.06806."},{"key":"e_1_3_6_79_2","doi-asserted-by":"crossref","first-page":"781","DOI":"10.1145\/3489517.3530543","volume-title":"Proceedings of the 59th ACM\/IEEE Design Automation Conference (DAC\u201922)","author":"Tomajoli Chiara Muscari","year":"2022","unstructured":"Chiara Muscari Tomajoli, Luca Collini, Jitendra Bhandari, Abdul Khader Thalakkattu Moosa, Benjamin Tan, Xifan Tang, Pierre-Emmanuel Gaillardon, Ramesh Karri, and Christian Pilato. 2022. ALICE: An automatic design flow for eFPGA redaction. In Proceedings of the 59th ACM\/IEEE Design Automation Conference (DAC\u201922). Association for Computing Machinery, New York, NY, USA, 781\u2013786. DOI:10.1145\/3489517.3530543"},{"key":"e_1_3_6_80_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-81955-1_28"},{"key":"e_1_3_6_81_2","volume-title":"The Day DES Died","author":"Zande Paul Van De","year":"2001","unstructured":"Paul Van De Zande. 2001. The Day DES Died. Technical Report 22. SANS Institute."},{"key":"e_1_3_6_82_2","doi-asserted-by":"publisher","DOI":"10.1145\/2906147"},{"key":"e_1_3_6_83_2","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1109\/TEST.2004.1386969","volume-title":"2004 International Conference on Test","author":"Yang Bo","year":"2004","unstructured":"Bo Yang, Kaijie Wu, and Ramesh Karri. 2004. Scan based side channel attack on dedicated hardware implementations of Data Encryption Standard. In 2004 International Conference on Test. 339\u2013344. DOI:10.1109\/TEST.2004.1386969"},{"key":"e_1_3_6_84_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.862745"},{"key":"e_1_3_6_85_2","doi-asserted-by":"crossref","first-page":"1601","DOI":"10.1145\/3133956.3133985","volume-title":"Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (CCS\u201917)","author":"Yasin Muhammad","year":"2017","unstructured":"Muhammad Yasin, Abhrajit Sengupta, Mohammed Thari Nabeel, Mohammed Ashraf, Jeyavijayan (JV) Rajendran, and Ozgur Sinanoglu. 2017. Provably-secure logic locking: From theory to practice. In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (CCS\u201917). Association for Computing Machinery, Dallas, Texas, USA, 1601\u20131618. DOI:10.1145\/3133956.3133985"},{"key":"e_1_3_6_86_2","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2017.7928947"},{"key":"e_1_3_6_87_2","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1109\/ICCAD.2017.8203759","volume-title":"2017 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","author":"Zhou Hai","year":"2017","unstructured":"Hai Zhou, Ruifeng Jiang, and Shuyu Kong. 2017. CycSAT: SAT-based attack on cyclic logic encryptions. In 2017 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD). 49\u201356. DOI:10.1109\/ICCAD.2017.8203759ISSN: 1558-2434."},{"key":"e_1_3_6_88_2","first-page":"1973","volume-title":"30th USENIX Security Symposium (USENIX Security 21)","author":"Zhu Yuankun","year":"2021","unstructured":"Yuankun Zhu, Yueqiang Cheng, Husheng Zhou, and Yantao Lu. 2021. Hermes attack: Steal DNN models with lossless inference accuracy. In 30th USENIX Security Symposium (USENIX Security 21). USENIX Association, 1973\u20131988. https:\/\/www.usenix.org\/conference\/usenixsecurity21\/presentation\/zhu."}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3577200","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3577200","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:47:32Z","timestamp":1750178852000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3577200"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,4,20]]},"references-count":87,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,5,31]]}},"alternative-id":["10.1145\/3577200"],"URL":"https:\/\/doi.org\/10.1145\/3577200","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"value":"1539-9087","type":"print"},{"value":"1558-3465","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,4,20]]},"assertion":[{"value":"2022-07-25","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-11-30","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-04-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}