SURF: Joint Structural Functional Attack on Logic Locking.
Prabuddha ChakrabortyJonathan CruzSwarup BhuniaPublished in: HOST (2019)
Keyphrases
- modal logic
- resting state fmri
- structural information
- concurrency control
- classical logic
- logic programming
- database systems
- image copy detection
- predicate logic
- logical framework
- countermeasures
- automated reasoning
- multi valued
- secret key
- dos attacks
- image matching
- deontic logic
- fine granularity
- abstract argumentation
- malicious users
- data structure
- neural network