SAT Based Partial Attack on Compound Logic Locking.
Melbin JohnAadil HodaRamanuj ChoukseyChandan KarfaPublished in: AsianHOST (2020)
Keyphrases
- bounded model checking
- answer set programming
- logic programming
- concurrency control
- classical logic
- version space
- linear temporal logic
- model checking
- asynchronous circuits
- modal logic
- formal verification
- ai planning
- countermeasures
- logical framework
- temporal logic
- logic programs
- multi valued
- database systems
- computational properties
- answer sets
- multi agent systems