Resynthesis-based Attacks Against Logic Locking.
F. AlmeidaLevent AksoyQ.-L. NguyenSophie DupuisMarie-Lise FlottesSamuel PagliariniPublished in: CoRR (2023)
Keyphrases
- logic programming
- countermeasures
- modal logic
- multi valued
- watermarking scheme
- traffic analysis
- watermarking algorithm
- automated reasoning
- classical logic
- security threats
- attack detection
- neural network
- malicious attacks
- predicate logic
- defeasible logic
- security protocols
- concurrency control
- data objects
- logic programs