{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T15:14:46Z","timestamp":1730301286695,"version":"3.28.0"},"reference-count":43,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/test.2018.8624809","type":"proceedings-article","created":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T03:09:16Z","timestamp":1548385756000},"page":"1-10","source":"Crossref","is-referenced-by-count":1,"title":["Towards Provably Secure Logic Locking for Hardening Hardware Security"],"prefix":"10.1109","author":[{"given":"Muhammad","family":"Yasin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ozgur","family":"Sinanoglu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.ccl.2013.07.007"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3133985"},{"key":"ref33","first-page":"299","article-title":"Apparatus and Method for Data Encryption with Block Selection Keys and Data Encryption Keys","volume":"351","author":"matsuzaki","year":"1994"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/IDT.2015.7396725"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2017.2710954"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.3850\/9783981537079_0687"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2018.8368625"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3060403.3060492"},{"key":"ref35","first-page":"433","article-title":"Oracle-guided Incremental SAT Solving to Reverse Engineer Camouflaged Logic Circuits","author":"liu","year":"2016","journal-title":"Design Automation Test in Europe"},{"key":"ref34","first-page":"342","article-title":"Security Analysis of Anti-SAT","author":"yasin","year":"2016","journal-title":"IEEE Asia and South Pacific Design Automation Conference"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2010.284"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2015.2475119"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228377"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2013.193"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2016.7495588"},{"key":"ref14","first-page":"127","article-title":"Mitigating SAT Attack on Logic Locking","author":"xie","year":"2016","journal-title":"International Conference on Cryptographic Hardware and Embedded Systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2010.24"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2015.7140252"},{"key":"ref17","first-page":"189","article-title":"Novel Bypass Attack and BDD-based Tradeoff Analysis Against all Known Logic Locking Attacks","author":"xu","year":"2017","journal-title":"International Conference on Cryptographic Hardware and Embedded Systems"},{"key":"ref18","volume":"99","author":"yasin","year":"2017","journal-title":"IEEE Transactions on Emerging Topics in Computing"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2404876"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/DFT.2015.7315143"},{"key":"ref4","first-page":"291","article-title":"Active Hardware Metering for Intellectual Property Protection and Security","author":"alkabani","year":"2007","journal-title":"Usenix Security"},{"key":"ref27","first-page":"388","article-title":"Differential Power Analysis","author":"kocher","year":"1999","journal-title":"in Advances in Cryptology Springer"},{"year":"2008","key":"ref3","article-title":"Innovation is at Risk Losses of up to 4 Billion Annually due to IP Infringement"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516656"},{"key":"ref29","volume":"abs 1703 10187","author":"massad","year":"2017","journal-title":"CoRR"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/277044.277240"},{"key":"ref8","first-page":"1","article-title":"CamoPerturb: Secure IC Camouflaging for Minterm Protection","volume":"29","author":"yasin","year":"2016","journal-title":"IEEE\/ACM International Conference on Computer-Aided Design"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23218"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024805"},{"key":"ref9","first-page":"931","article-title":"Split Manufacturing Method for Advanced Semiconductor Circuits","volume":"195","author":"jarvis","year":"2007"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2335155"},{"key":"ref20","first-page":"8","article-title":"Provably Secure Camouflaging Strategy for IC Protection","volume":"28 1","author":"li","year":"2016","journal-title":"IEEE\/ACM International Conference on Computer-Aided Design"},{"year":"2017","key":"ref22","article-title":"TrustChain Security Platform"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2017.7951805"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI-SoC.2017.8203496"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2511144"},{"key":"ref41","first-page":"1","article-title":"I: Regular Papers, vol","author":"yasin","year":"2017","journal-title":"IEEE Transactions on Circuits and Systems"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI-SoC.2017.8203496"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3060403.3060469"},{"key":"ref43","first-page":"343","article-title":"Hardware Security and Trust: Logic Locking asa Design-for-Trust Solution","author":"yasin","year":"2018","journal-title":"in The IoT Physical Layer-From Sensors to Systems-on-Chip"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/LATW.2015.7102410"}],"event":{"name":"2018 IEEE International Test Conference (ITC)","start":{"date-parts":[[2018,10,29]]},"location":"Phoenix, AZ, USA","end":{"date-parts":[[2018,11,1]]}},"container-title":["2018 IEEE International Test Conference (ITC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8610502\/8624670\/08624809.pdf?arnumber=8624809","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T23:25:57Z","timestamp":1643239557000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8624809\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":43,"URL":"https:\/\/doi.org\/10.1109\/test.2018.8624809","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}