Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption.
Yinghua HuYuke ZhangKaixin YangDake ChenPeter A. BeerelPierluigi NuzzoPublished in: HOST (2021)
Keyphrases
- sat solvers
- boolean satisfiability
- bounded model checking
- secret key
- sat encodings
- encryption algorithm
- ciphertext
- propositional satisfiability
- logic programming
- sat problem
- answer set programming
- orders of magnitude
- modal logic
- linear temporal logic
- sat instances
- encryption decryption
- max sat
- search space
- constraint satisfaction
- formal verification
- computer games
- smart card
- probabilistic planning
- clause learning
- block cipher
- symmetry breaking
- security analysis
- search algorithm
- stochastic local search
- planning problems
- ai planning
- satisfiability problem
- authentication scheme
- answer sets
- classical planning
- randomly generated
- domain independent
- model checking
- data encryption
- combinatorial problems