Characterize the ability of GNNs in attacking logic locking.

Wei Li Ruben Purdy José M. F. Moura R. D. Shawn Blanton

Published in: MLCAD (2023)

Keyphrases

modal logic
databases
concurrency control
neural network
real world
information systems
case study
logic programming
key features
classical logic
computational properties
predicate logic
website
query processing
set theory