BeSAT: behavioral SAT-based attack on cyclic logic encryption.
Yuanqi ShenYou LiAmin RezaeiShuyu KongDavid DlottHai ZhouPublished in: ASP-DAC (2019)
Keyphrases
- bounded model checking
- secret key
- encryption algorithm
- ciphertext
- logic programming
- answer set programming
- classical logic
- modal logic
- fixed point semantics
- sat solvers
- ai planning
- boolean satisfiability
- linear temporal logic
- formal verification
- encryption decryption
- planning domains
- logic programs
- version space
- countermeasures
- smart card
- model checking
- encryption algorithms
- encryption scheme
- constraint solver
- block cipher
- answer sets