Functional Analysis Attacks on Logic Locking.

Deepak Sirone Pramod Subramanyan

Published in: IEEE Trans. Inf. Forensics Secur. (2020)

Keyphrases

functional analysis
countermeasures
multi valued
classical logic
logic programming
watermarking scheme
traffic analysis
modal logic
security threats
concurrency control
malicious attacks
temporal logic
logical framework
predicate logic
terrorist attacks
chosen plaintext