Functional Analysis Attacks on Logic Locking.

Deepak Sirone Pramod Subramanyan

Published in: CoRR (2018)

Keyphrases

functional analysis
modal logic
countermeasures
database systems
concurrency control
multi valued
classical logic
logical framework
access control
logic programming
fine grained
security protocols
traffic analysis
asynchronous circuits