Functional Analysis Attacks on Logic Locking.

Deepak Sirone Pramod Subramanyan

Published in: DATE (2019)

Keyphrases

functional analysis
logic programming
countermeasures
classical logic
modal logic
concurrency control
security threats
malicious attacks
data objects
multi valued
logical framework
predicate logic
cryptographic protocols
proof theory
terrorist attacks
malicious users