HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving

Grishchenko, Ilya and Maffei, Matteo and Calzavara, Stefano
(2016) HornDroid: Practical and Sound Static Analysis of Android Applications by SMT Solving.
In: Proceedings of the 1st IEEE European Symposium on Security and Privacy (Euro S&P '16).
Conference: EuroS&P - IEEE European Symposium on Security and Privacy

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item