KC2: Key-Condition Crunching for Fast Sequential Circuit Deobfuscation | IEEE Conference Publication | IEEE Xplore