Functional Reverse Engineering on SAT-Attack Resilient Logic Locking.
Lilas AlrahisMuhammad YasinHani H. SalehBaker MohammadMahmoud Al-QutayriPublished in: ISCAS (2019)
Keyphrases
- reverse engineering
- dynamic analysis
- software engineering
- software maintenance
- gene regulatory networks
- object oriented
- program understanding
- conceptual schema
- satisfiability problem
- reverse engineer
- phase transition
- database systems
- business rules
- search algorithm
- computer aided design
- software evolution
- sat problem
- sat solvers
- automated reasoning
- modal logic
- information systems
- concurrency control
- software engineers
- logic programming
- propositional satisfiability
- program comprehension
- platform independent
- case study
- artificial intelligence