{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,21]],"date-time":"2025-12-21T06:23:58Z","timestamp":1766298238807,"version":"build-2065373602"},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>Globalization of integrated circuits manufacturing has led to increased security con- cerns, notably theft of intellectual property. In response, logic locking techniques have been developed for protecting designs, but many of these techniques have been shown to be vulnerable to SAT-based attacks. In this paper, we explore the use of Boolean sensi- tivity to analyze these locked circuits. We show that in typical circuits there is an inverse relationship between input width and sensitivity. We then demonstrate the utility of this relationship for deobfuscating circuits locked with a class of \u201cprovably secure\u201d logic lock- ing techniques. We conclude with an example of how to resist this attack, although the resistance is shown to be highly circuit dependent.<\/jats:p>","DOI":"10.29007\/7tpd","type":"proceedings-article","created":{"date-parts":[[2020,5,27]],"date-time":"2020-05-27T22:10:11Z","timestamp":1590617411000},"page":"483-467","source":"Crossref","is-referenced-by-count":7,"title":["Sensitivity Analysis of Locked Circuits"],"prefix":"10.29007","volume":"73","author":[{"given":"Joseph","family":"Sweeney","sequence":"first","affiliation":[]},{"given":"Marijn J. H.","family":"Heule","sequence":"additional","affiliation":[]},{"given":"Lawrence","family":"Pileggi","sequence":"additional","affiliation":[]}],"member":"11545","event":{"name":"LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning"},"container-title":["EPiC Series in Computing"],"original-title":[],"deposited":{"date-parts":[[2020,5,27]],"date-time":"2020-05-27T22:10:12Z","timestamp":1590617412000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/HHHP"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/7tpd","relation":{},"ISSN":["2398-7340"],"issn-type":[{"type":"print","value":"2398-7340"}],"subject":[]}}