TimingSAT: Decamouflaging Timing-based Logic Obfuscation.

Meng Li, Kaveh Shamsi, Yier Jin, David Z. Pan

Browse the full ITC paper archive.