Efficacy of Satisfiability-Based Attacks in the Presence of Circuit Reverse-Engineering Errors.
Qinhan TanSeetal PotluriAydin AysuPublished in: ISCAS (2020)
Keyphrases
- reverse engineering
- malicious code
- software engineering
- object oriented
- satisfiability problem
- countermeasures
- conceptual schema
- software maintenance
- data corruption
- software product
- program understanding
- dynamic analysis
- legacy systems
- gene regulatory networks
- computer aided design
- phase transition
- np complete
- high speed
- reverse engineer
- information systems
- gene networks
- software evolution
- software engineers
- program comprehension
- watermarking scheme
- genetic regulatory networks
- web services
- data sets