C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
On Preventing SAT Attack with Decoy Key-Inputs.
Quang-Linh Nguyen
Marie-Lise Flottes
Sophie Dupuis
Bruno Rouzeyre
Published in:
ISVLSI (2021)
Keyphrases
</>
search algorithm
satisfiability problem
countermeasures
data sets
knowledge base
evolutionary algorithm
input data
orders of magnitude
sat solvers