TimingSAT: Decamouflaging Timing-based Logic Obfuscation.

Meng Li Kaveh Shamsi Yier Jin David Z. Pan

Published in: ITC (2018)

Keyphrases

asynchronous circuits
modal logic
reverse engineering
logic programming
classical logic
abductive reasoning
object oriented
open source
static analysis
logical framework
data mining
multi agent
proof theory