Characterizing Corruptibility of Logic Locks using ATPG.

Danielle Duvalsaint R. D. Shawn Blanton

Published in: ITC (2021)

Keyphrases

classical logic
modal logic
information systems
databases
multi valued
computational properties
probability theory
proof theory
dynamic logic
asynchronous circuits
nonmonotonic logics
logical framework
logic programming
expert systems
knowledge base
genetic algorithm
data mining
neural network