SAT-based bit-flipping attack on logic encryptions.

Yuanqi Shen Amin Rezaei Hai Zhou

Published in: DATE (2018)

Keyphrases

bounded model checking
block cipher
logical operations
logic programming
answer set programming
random access memory
modal logic
ai planning
classical logic
linear temporal logic
model checking
multi valued
countermeasures
search space
integer programming
formal verification