Piercing Logic Locking Keys through Redundancy Identification.

Leon Li Alex Orailoglu

Published in: DATE (2019)

Keyphrases

logic programming
modal logic
logic programs
concurrency control
automatic identification
logical framework
classical logic
genetic algorithm
information systems
database systems
fine grained
multi valued
digital circuits