Sign in
TriggerScope: Towards Detecting Logic Bombs in Android Applications.
Yanick Fratantonio
Antonio Bianchi
William K. Robertson
Engin Kirda
Christopher Kruegel
Giovanni Vigna
Published in:
IEEE Symposium on Security and Privacy (2016)
Keyphrases
</>
logic programming
sound and complete axiomatization
modal logic
multi valued
predicate logic
database
neural network
data mining
website
case study
data structure
classical logic
computational properties
truth values
deontic logic