Muhammad Yasin, Ozgur Sinanoglu. Towards Provably Secure Logic Locking for Hardening Hardware Security Dissertation Summary: IEEE TTTC E.J. McCluskey Doctoral Thesis Award Competition. In IEEE International Test Conference, ITC 2018, Phoenix, AZ, USA, October 29 - Nov. 1, 2018. pages 1-10, IEEE, 2018. [doi]
Abstract is missing.