Cyclic Obfuscation for Creating SAT-Unresolvable Circuits

@inproceedings{Shamsi2017CyclicOF,
  title={Cyclic Obfuscation for Creating SAT-Unresolvable Circuits},
  author={Kaveh Shamsi and Meng Li and Travis Meade and Zheng Zhao and David Z. Pan and Yier Jin},
  booktitle={ACM Great Lakes Symposium on VLSI},
  year={2017}
}
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 "findand-remove" attacks, and only slightly hide the circuit functionality. In this paper… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS
14 Citations
5 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 14 extracted citations

References

Publications referenced by this paper.
Showing 1-5 of 5 references

Similar Papers

Loading similar papers…