Threats on Logic Locking: A Decade Later.

Kimia Zamiri Azar Hadi Mardani Kamali Houman Homayoun Avesta Sasan

Published in: CoRR (2019)

Keyphrases

logic programming
concurrency control
security issues
multi valued
classical logic
information systems
knowledge base
modal logic
countermeasures
automated reasoning
paradigm shift
cyber security
epistemic logic
fine granularity
proof theory