Increasing the SAT Attack Resiliency of In-Cone Logic Locking.

Kyle Juretus Ioannis Savidis

Published in: ISCAS (2019)

Keyphrases

automated reasoning
sat solvers
logic programming
propositional satisfiability
satisfiability problem
classical logic
database systems
concurrency control
modal logic
countermeasures
sat instances
proof theory
sat solving
fine granularity
dos attacks
sat problem
search strategies
search space
search algorithm