FACE

security and privacy social network security abstract interpretation malware android computer security malware detection symbolic finite state automata infection model symbolic automata program semantics self-modifying programs metamorphic malware detection security dynamic analysis