FANCI: identification of stealthy malicious logic using boolean functional analysis.

Adam Waksman Matthew Suozzo Simha Sethumadhavan

Published in: CCS (2013)

Keyphrases

functional analysis
boolean logic
multi valued
automatic identification
real valued
malicious attacks
neural network
logic programming
modal logic
boolean functions
dimensionality reduction
classical logic
defeasible logic
truth values