Evolution of logic locking.

Muhammad Yasin Ozgur Sinanoglu

Published in: VLSI-SoC (2017)

Keyphrases

logic programming
concurrency control
multi valued
data sets
machine learning
computational properties
evolution process
knowledge base
case study
logic programs
data objects
logical framework
temporal evolution
nonmonotonic logics
predicate logic
asynchronous circuits