Thwarting GNN-Based Attacks Against Logic Locking.
Armin DarjaniNima KavandShubham RaiAkash KumarPublished in: IEEE Trans. Inf. Forensics Secur. (2024)
Keyphrases
- countermeasures
- predicate logic
- modal logic
- neural network
- concurrency control
- proof theory
- security threats
- classical logic
- malicious attacks
- watermarking scheme
- multi valued
- terrorist attacks
- logic programming
- malicious users
- fine granularity
- digital circuits
- computational properties
- linear logic
- chosen plaintext
- asynchronous circuits
- defeasible logic
- security mechanisms
- watermarking algorithm
- inference rules
- digital images
- database systems