One Engine To Serve 'em All: Inferring Taint Rules Without Architectural Semantics.
Zheng Leong ChuaYanhao WangTeodora BalutaPrateek SaxenaZhenkai LiangPurui SuPublished in: NDSS (2019)
Keyphrases
- rule engine
- deduction rules
- transformation rules
- control flow
- active rules
- logical rules
- expectation maximization
- highly expressive
- rule language
- em algorithm
- inference engine
- probabilistic model
- formal semantics
- derivation rules
- decision rules
- default rules
- rule base
- association rules
- model theoretic
- uncertain information
- business rules
- owl ontologies
- production rules
- rule sets
- classification rules
- semantic information
- mixture model
- logic programming
- default reasoning
- air fuel ratio
- domain knowledge
- hidden markov models