LIPSTICK: Corruptibility-Aware and Explainable Graph Neural Network-based Oracle-Less Attack on Logic Locking.
Yeganeh AghamohammadiAmin RezaeiPublished in: CoRR (2024)
Keyphrases
- graph theory
- attack graph
- neural network
- graph representation
- classical logic
- bipartite graph
- graph model
- directed graph
- weighted graph
- directed acyclic graph
- spanning tree
- oracle database
- graph theoretic
- relational structures
- graph matching
- concurrency control
- undirected graph
- secret key
- multi valued
- logic programming