Threats on Logic Locking: A Decade Later.

Kimia Zamiri Azar Hadi Mardani Kamali Houman Homayoun Avesta Sasan

Published in: ACM Great Lakes Symposium on VLSI (2019)

Keyphrases

classical logic
predicate logic
modal logic
logic programming
cyber security
multi valued
countermeasures
computer security
computational properties
critical infrastructure
data sets
proof theory
concurrency control
paradigm shift
information security
digital circuits
denial of service attacks