A Resource Binding Approach to Logic Obfuscation.

Michael Zuzak Yuntao Liu Ankur Srivastava

Published in: DAC (2021)

Keyphrases

logic programming
modal logic
reverse engineering
resource allocation
web resources
resource constraints
resource management
predicate logic
computational properties
resource consumption
digital circuits
proof theory
artificial intelligence
asynchronous circuits
logical framework
automated reasoning
data model