MaMaDroid: Detecting Android Malware by Building Markov Chains of Behavioral Models | Synapse