{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T15:36:36Z","timestamp":1758123396329},"reference-count":35,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,3,14]],"date-time":"2022-03-14T00:00:00Z","timestamp":1647216000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,3,14]],"date-time":"2022-03-14T00:00:00Z","timestamp":1647216000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,3,14]]},"DOI":"10.23919\/date54114.2022.9774602","type":"proceedings-article","created":{"date-parts":[[2022,5,19]],"date-time":"2022-05-19T20:35:05Z","timestamp":1652992505000},"page":"1359-1364","source":"Crossref","is-referenced-by-count":7,"title":["A Composable Design Space Exploration Framework to Optimize Behavioral Locking"],"prefix":"10.23919","author":[{"given":"Luca","family":"Collini","sequence":"first","affiliation":[{"name":"Politecnico di Milano,Italy"}]},{"given":"Ramesh","family":"Karri","sequence":"additional","affiliation":[{"name":"New York University,USA"}]},{"given":"Christian","family":"Pilato","sequence":"additional","affiliation":[{"name":"Politecnico di Milano,Italy"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2511144"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.04.017"},{"journal-title":"Departments of Justice and Homeland Security Announce 30 Convictions in Counterfeit Network Hardware","year":"2010","key":"ref31"},{"journal-title":"Benchmarking at the Frontier of Hardware Security Lessons from Logic Locking","year":"2020","author":"tan","key":"ref30"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3338508.3359576"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD45719.2019.8942150"},{"key":"ref10","first-page":"540","article-title":"Piercing Logic Locking Keys through Redundancy Identification","author":"li","year":"2019","journal-title":"DATE"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18074.2021.9586314"},{"key":"ref12","article-title":"Thwarting All Logic Locking Attacks: Dishonest Oracle with Truly Random Logic Locking","author":"limaye","year":"2020","journal-title":"IEEE Transactions on CAD"},{"key":"ref13","article-title":"Logic Locking for Secure Outsourced Chip Fabrication: A New Attack and Provably Secure Defense Mechanism","author":"massad","year":"2017","journal-title":"arXiv 1703 10187"},{"journal-title":"Common Evaluation Platform (CEP)","year":"0","key":"ref14"},{"journal-title":"Top 5 Most Counterfeited Parts Represent A $169 Billion Potential Challenge for Global Semiconductor Market","year":"2012","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3029339"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2017.2774800"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2021.3074004"},{"key":"ref19","article-title":"On the Optimization of Behavioral Logic Locking for High-Level Synthesis","author":"pilato","year":"2021","journal-title":"arXiv 2105 09666"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3431389"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2019.2944586"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714856"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715083"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2602554"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/AsianHOST.2018.8607163"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16214-0_42"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/53990.53994"},{"journal-title":"ERAI Reported Parts Statistics","year":"2019","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s41635-018-0036-3"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1972.223501"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-005-1395-x"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3196126"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/HOST45689.2020.9300272"},{"key":"ref21","first-page":"181","article-title":"SURF: Joint Structural Functional Attack on Logic Locking","author":"prabuddha","year":"2019","journal-title":"Host"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.4236\/ojbm.2016.41012"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2428707"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3342099"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3060403.3060494"}],"event":{"name":"2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2022,3,14]]},"location":"Antwerp, Belgium","end":{"date-parts":[[2022,3,23]]}},"container-title":["2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9774496\/9774497\/09774602.pdf?arnumber=9774602","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,11]],"date-time":"2022-07-11T20:06:26Z","timestamp":1657569986000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9774602\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,14]]},"references-count":35,"URL":"https:\/\/doi.org\/10.23919\/date54114.2022.9774602","relation":{},"subject":[],"published":{"date-parts":[[2022,3,14]]}}}