Trojan localization using symbolic algebra.
Farimah FarahmandiYuanwen HuangPrabhat MishraPublished in: ASP-DAC (2017)
Keyphrases
- algebraic expressions
- query language
- symbolic representation
- real time
- high level
- object localization
- algebraic structure
- source localization
- boolean algebra
- distributive lattices
- symbolic description
- accurate localization
- symbolic data
- optic disc
- relational algebra
- information sharing
- expert systems
- data structure
- data mining
- real world