Classical Cryptanalysis Attacks on Logic Locking Techniques.
Bodhisatwa MazumdarSoma SahaGhanshyam BairwaSouvik MandalTatavarthy Venkat NikhilPublished in: J. Electron. Test. (2019)
Keyphrases
- block cipher
- quantum computation
- probability theory
- countermeasures
- classical logic
- finite model theory
- modal logic
- security risks
- malicious attacks
- denial of service attacks
- dynamic logic
- watermarking scheme
- data objects
- database systems
- logical framework
- concurrency control
- security threats
- watermarking algorithm
- terrorist attacks
- privacy preserving
- horn logic
- classical first order logic
- knowledge representation