Towards Provably Secure Logic Locking for Hardening Hardware Security | IEEE Conference Publication | IEEE Xplore