Sweep to the Secret: A Constant Propagation Attack on Logic Locking.

Abdulrahman Alaql Domenic Forte Swarup Bhunia

Published in: AsianHOST (2019)

Keyphrases

secret key
concurrency control
countermeasures
logic programming
modal logic
logical framework
multi valued
classical logic
secret data
neural network
predicate logic
malicious users
propagation model
proof theory
fine granularity
wave propagation
probability theory
knowledge base