Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption.
Yinghua HuYuke ZhangKaixin YangDake ChenPeter A. BeerelPierluigi NuzzoPublished in: CoRR (2021)
Keyphrases
- sat solvers
- boolean satisfiability
- bounded model checking
- secret key
- sat encodings
- encryption algorithm
- ciphertext
- sat problem
- max sat
- propositional satisfiability
- constraint satisfaction
- logic programming
- answer set programming
- sat instances
- orders of magnitude
- search space
- modal logic
- satisfiability problem
- linear temporal logic
- formal verification
- classical planning
- encryption decryption
- probabilistic planning
- heuristic search
- model checking
- phase transition
- automated reasoning
- randomly generated
- computer games
- search strategies
- constraint solver
- search algorithm
- encryption scheme
- smart card
- clause learning
- symmetry breaking
- planning problems
- graph coloring
- answer sets
- planning domains
- computational properties
- public key
- security analysis