A Novel PUF based Logic Encryption Technique to Prevent SAT Attacks and Trojan Insertion.
Soraya MobarakiAmirata AmirkhaniReza Ebrahimi AtaniPublished in: IST (2018)
Keyphrases
- cryptographic protocols
- stream cipher
- advanced encryption standard
- logic programming
- electronic devices
- sql injection
- encryption algorithms
- countermeasures
- modal logic
- sat solvers
- satisfiability problem
- automated reasoning
- search algorithm
- quantifier free
- block cipher
- security properties
- boolean satisfiability
- security vulnerabilities
- propositional satisfiability
- cryptographic algorithms
- search strategies
- knowledge representation
- encryption scheme
- watermarking algorithm