Stefano Calzavara, Ilya Grishchenko, Matteo Maffei. HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving. In IEEE European Symposium on Security and Privacy, EuroS&P 2016, Saarbrücken, Germany, March 21-24, 2016. pages 47-62, IEEE, 2016. [doi]
Abstract is missing.