Roee Hay, Omer Tripp, Marco Pistoia: Dynamic detection of inter-application communication vulnerabilities in Android. ISSTA 2015: 118-128