Ci-Lock: Cipher Induced Logic Locking Resistant Against SAT Attacks.
Akashdeep SahaSayandeep SahaDebdeep MukhopadhyayBhargab B. BhattacharyaPublished in: IACR Cryptol. ePrint Arch. (2019)
Keyphrases
- concurrency control
- transaction processing systems
- stream cipher
- locking protocol
- computational intelligence
- block cipher
- advanced encryption standard
- satisfiability problem
- shared memory multiprocessor
- logic programming
- search algorithm
- countermeasures
- modal logic
- distributed databases
- deadlock free
- phase transition
- database management systems
- database systems
- transaction processing
- max sat
- watermarking scheme
- watermarking algorithm
- security analysis
- security protocols
- sat solving
- logic programs