2016-03-21

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

Tags

Trustworthy Information Processing

Conference / Medium

Proceedings of the 1st IEEE European Symposium on Security and Privacy (Euro S&P '16)

Date published

2016-03-21

Date last modified

2019-07-18 12:09:25

Authors

Ilya Grishchenko
Matteo Maffei
Stefano Calzavara

Download