Understanding Logic Locking
暫譯: 理解邏輯鎖定

本書展示了透過邏輯鎖定（logic locking）進行的知識產權（IP）保護的廣度和深度，考慮了攻擊者/對手和防禦者/設計者的視角。作者描繪了過去十年邏輯鎖定演變的半時間序列圖，收集並描述了這種方法中的所有應該做的（DO's）和不應該做的（DON'Ts）。他們描述了易於理解的情境，並指導讀者識別威脅模型以及設計/評估流程，以便進一步研究。讀者將全面了解邏輯鎖定的所有基本概念。

Kimia Zamiri Azar is a postdoctoral research associate in the Department of Electrical and Computer Engineering at the University of Florida. She received a Ph.D. degree from the Department of Electrical and Computer Engineering at George Mason University in 2021. She also received her M.S. and B.S. from the Department of Electrical and Computer Engineering at Shahid Beheshti University, 2015, and K. N. T. University, 2013, respectively. Her research interests span hardware security and trust, supply chain security, System-on-Chips security validation and verification, and IoT security. She has multiple publications in high-prestigious journals and conferences, including IEEE Transactions on Computers, IEEE Transactions on VLSI, IACR Transactions on Cryptographic Hardware and Embedded Systems (CHES), and Design Automation Conference (DAC), with awards including nominations for Best Paper Award in IEEE Computer Society Annual Symposium on VLSI (ISVLSI)'20 and IEEE/ACM Conference on Computer-Aided-Design (ICCAD)'21.

Hadi Mardani Kamali is a postdoctoral research associate at Florida Institute for Cybersecurity Research (FICS), the Department of Electrical and Computer Engineering at the University of Florida. He received his Ph.D. degree from the Department of Electrical and Computer Engineering at George Mason University, 2021. He received his M.S. and B.S. from the Department of Electrical and Computer Engineering at Sharif University of Technology, 2013, and K. N. T. University, 2011, respectively. His research delves into hardware security with a particular focus on exploiting IP protection techniques, design-for-trust for VLSI circuits, and CAD frameworks for security (design-for-security), in which he has numerous publications in top journals and conferences including IEEE Transactions on Computers, IEEE Transactions on VLSI, IACR Transactions on Cryptographic Hardware and Embedded Systems (CHES), and Design Automation Conference (DAC), with awards including nominations for Best Paper Award in ISVLSI'20, ICCAD'20, ICCAD'21, and IEEE CAS 2020.

Farimah Farahmandi is an assistant professor in the Department of Electrical and Computer Engineering at the University of Florida. She received her Ph.D. from the Department of Computer and Information Science and Engineering at the University of Florida, 2018. She received her B.S. and M.S. from the Department of Electrical and Computer Engineering at the University of Tehran, Iran, in 2010 and 2013, respectively. Her research interests include design automation of System-on-Chips and energy-efficient systems, formal verification, hardware security validation, and post-silicon validation and debug. Her research has resulted in two books, seven book chapters, and several publications in premier ACM/IEEE journals and conferences, including IEEE Transactions on Computers, IEEE Transactions on CAD, Design Automation Conference (DAC), and Design Automation and Test inEurope (DATE). Her research has been recognized by several awards, including IEEE System Validation and Debug Technology Committee Student Research Award, Gartner Group Info-Tech Scholarship, a nomination for the Best Paper Award in ASPDAC 2017, and DAC Richard Newton Young Student Fellowship. She has actively collaborated with various research groups (IBM, Intel, and Cisco) that have led to several joint publications. She currently serves as an Associate Editor of IET Computers & Digital Techniques. She also has served on many technical program committees as well as organizing committees of premier ACM and IEEE conferences. Her research has been sponsored by SRC, AFRL, DARPA, and Cisco. She is a member of IEEE and ACM.

Mark Tehranipoor received his Ph.D. from the University of Texas at Dallas in 2004. He is currently the Intel Charles E. Young Preeminence Endowed Chair Professor in Cybersecurity at the University of Florida. His current research projects include: hardware security and trust, supply chain security, IoT Security, VLSI design, test and reliability. Dr. Tehranipoor has published over 400 journal articles and refereed conference papers and has given about 200 invited talks and keynote addresses. He has published 11 books and more than 20 book chapters. He is a recipient of a dozen best paper awards and nominations, as well as the 2008 IEEE Computer Society (CS) Meritorious Service Award, the 2012 IEEE CS Outstanding Contribution, the 2009 NSF CAREER Award, and the 2014 AFOSR MURI award. He serves on the program committee of more than a dozen leading conferences and workshops. He has also served as Program Chair of a number of IEEE and ACM sponsored conferences and workshops (HOST, ITC, DFT, D3T, DBT, NATW, and more). He co-founded the IEEE International Symposium on Hardware-Oriented Security and Trust (HOST) and served as HOST-2008 and HOST-2009 General Chair. He is currently serving as a founding EIC for Journal on Hardware and SystemsSecurity (HaSS) and Associate Editor for JETTA, JOLPE, IEEE TVLSI and ACM TODAES. Prior to joining UF, Dr. Tehranipoor served as the founding director for CHASE and CSI centers at the University of Connecticut. He is currently serving as a founding director for Florida Institute for Cybersecurity Research (FICS). Dr. Tehranipoor is a Fellow of the IEEE, a Golden Core Member of IEEE CS, and Member of ACM and ACM SIGDA.

Kimia Zamiri Azar 是佛羅里達大學電機與計算機工程系的博士後研究助理。她於2021年在喬治梅森大學電機與計算機工程系獲得博士學位。她還於2015年和2013年分別在沙希德·貝赫什提大學和K. N. T. 大學獲得碩士和學士學位。她的研究興趣涵蓋硬體安全與信任、供應鏈安全、系統單晶片的安全驗證與驗證，以及物聯網安全。她在多個高聲望的期刊和會議上發表了多篇論文，包括《IEEE Transactions on Computers》、《IEEE Transactions on VLSI》、《IACR Transactions on Cryptographic Hardware and Embedded Systems (CHES)》和《Design Automation Conference (DAC)》，並獲得了包括2020年IEEE計算機學會VLSI年會（ISVLSI）最佳論文獎提名和2021年IEEE/ACM計算機輔助設計會議（ICCAD）最佳論文獎提名等獎項。

Hadi Mardani Kamali 是佛羅里達大學電機與計算機工程系的佛羅里達網路安全研究所（FICS）博士後研究助理。他於2021年在喬治梅森大學電機與計算機工程系獲得博士學位。他於2013年和2011年分別在沙里夫科技大學和K. N. T. 大學獲得碩士和學士學位。他的研究深入探討硬體安全，特別專注於利用IP保護技術、VLSI電路的信任設計以及安全的CAD框架（設計為安全），在這方面他在頂級期刊和會議上發表了多篇論文，包括《IEEE Transactions on Computers》、《IEEE Transactions on VLSI》、《IACR Transactions on Cryptographic Hardware and Embedded Systems (CHES)》和《Design Automation Conference (DAC)》，並獲得了包括ISVLSI'20、ICCAD'20、ICCAD'21和IEEE CAS 2020的最佳論文獎提名等獎項。

Farimah Farahmandi 是佛羅里達大學電機與計算機工程系的助理教授。她於2018年在佛羅里達大學計算機與資訊科學與工程系獲得博士學位。她於2010年和2013年分別在德黑蘭大學獲得學士和碩士學位。她的研究興趣包括系統單晶片的設計自動化和能源效率系統、形式驗證、硬體安全驗證以及後矽驗證和調試。她的研究成果包括兩本書、七個書章以及在主要的ACM/IEEE期刊和會議上發表的多篇論文，包括《IEEE Transactions on Computers》、《IEEE Transactions on CAD》、《Design Automation Conference (DAC)》和《Design Automation and Test in Europe (DATE)》。她的研究獲得了多項獎項的認可，包括IEEE系統驗證與調試技術委員會學生研究獎、Gartner Group Info-Tech獎學金、2017年ASPDAC最佳論文獎提名以及DAC Richard Newton年輕學生獎學金。她與多個研究團隊（IBM、Intel和Cisco）積極合作，並導致多篇聯合發表的論文。她目前擔任《IET Computers & Digital Techniques》的副編輯，並曾在多個主要的ACM和IEEE會議的技術程序委員會及組織委員會中任職。她的研究得到了SRC、AFRL、DARPA和Cisco的資助。她是IEEE和ACM的成員。

Mark Tehranipoor 於2004年在德克薩斯大學達拉斯分校獲得博士學位。他目前是佛羅里達大學Intel Charles E. Young網路安全卓越講座教授。他目前的研究項目包括：硬體安全與信任、供應鏈安全、物聯網安全、VLSI設計、測試和可靠性。Tehranipoor博士已發表超過400篇期刊文章和經審稿的會議論文，並進行了約200場受邀演講和主題演講。他已出版11本書和超過20個書章。他獲得了十多項最佳論文獎和提名，以及2008年IEEE計算機學會（CS）優秀服務獎、2012年IEEE CS傑出貢獻獎、2009年NSF CAREER獎和2014年AFOSR MURI獎。他在十多個領先會議和研討會的程序委員會中任職，並曾擔任多個IEEE和ACM贊助的會議和研討會的程序主席（如HOST、ITC、DFT、D3T、DBT、NATW等）。他共同創辦了IEEE國際硬體導向安全與信任研討會（HOST），並擔任HOST-2008和HOST-2009的總主席。他目前擔任《Journal on Hardware and Systems Security (HaSS)》的創始主編，以及《JETTA》、《JOLPE》、《IEEE TVLSI》和《ACM TODAES》的副編輯。在加入佛羅里達大學之前，Tehranipoor博士曾擔任康涅狄格大學CHASE和CSI中心的創始主任。他目前擔任佛羅里達網路安全研究所（FICS）的創始主任。Tehranipoor博士是IEEE的會士、IEEE CS的黃金核心成員，以及ACM和ACM SIGDA的成員。