BeSAT: Behavioral SAT-based Attack on Cyclic Logic Encryption.
Yuanqi ShenYou LiAmin RezaeiShuyu KongDavid DlottHai ZhouPublished in: IACR Cryptol. ePrint Arch. (2019)
Keyphrases
- bounded model checking
- secret key
- encryption algorithm
- ciphertext
- encryption decryption
- model checking
- answer set programming
- linear temporal logic
- logic programming
- sat solvers
- encryption algorithms
- countermeasures
- encryption scheme
- block cipher
- formal verification
- fixed point semantics
- key management
- planning domains
- modal logic
- temporal logic
- smart card
- security analysis
- ai planning
- data encryption