Sign in
A Neural Network-based SAT-Resilient Obfuscation Towards Enhanced Logic Locking.
Rakibul Hassan
Gaurav Kolhe
Setareh Rafatirad
Houman Homayoun
Sai Manoj Pudukotai Dinakarrao
Published in:
CoRR (2022)
Keyphrases
</>
logical framework
reverse engineering
concurrency control
search algorithm
satisfiability problem
database systems
phase transition
sat solvers
stochastic local search
database
static analysis
propositional satisfiability
max sat
stochastic local search algorithms