TGA: An Oracle-less and Topology-Guided Attack on Logic Locking.

Yuqiao Zhang Pinchen Cui Ziqi Zhou Ujjwal Guin

Published in: ASHES@CCS (2019)

Keyphrases

logic programming
multi valued
oracle database
modal logic
predicate logic
fine granularity
neural network
database systems
logic programs
automated reasoning
topology preserving
classical logic
monotonicity constraints
attack detection
proof theory
concurrency control
genetic algorithm
data mining