C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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