Circuit Deobfuscation from Power Side-Channels using Pseudo-Boolean SAT.

Kaveh Shamsi, Yier Jin

Browse the full ICCAD paper archive.