Functional Reverse Engineering on SAT-Attack Resilient Logic Locking | IEEE Conference Publication | IEEE Xplore