Cyclic Beneš Network Based Logic Encryption for Mitigating SAT-Based Attacks.
Saranyu ChattopadhyayRajat Subhra ChakrabortyPublished in: ICCD (2019)
Keyphrases
- bounded model checking
- stream cipher
- cryptographic protocols
- modal logic
- model checking
- answer set programming
- countermeasures
- logic programming
- advanced encryption standard
- cryptographic algorithms
- linear temporal logic
- sat solvers
- block cipher
- fixed point semantics
- watermarking scheme
- temporal logic
- boolean satisfiability
- image encryption
- formal verification
- security protocols
- security mechanisms
- encryption scheme
- encryption algorithms