A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Cyclic Obfuscation for Creating SAT-Unresolvable Circuits
2017
Proceedings of the on Great Lakes Symposium on VLSI 2017 - GLSVLSI '17
Logic locking and IC camouflaging are proactive circuit obfuscation methods that if proven secure can thwart hardware attacks such as reverse engineering and IP theft. However, the security of both these schemes is called into question by recent SAT based attacks. While a number of methods have been proposed in literature that exponentially increase the running time of such attacks, they are vulnerable to "find-and-remove" attacks, and only slightly hide the circuit functionality. In this
doi:10.1145/3060403.3060458
dblp:conf/glvlsi/ShamsiLMZPJ17
fatcat:x3wiqljbqndhnejisxpgrgyuh4