2016-03-21

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

Tags

Vertrauenswürdige Informationsverarbeitung

Konferenz / Medium

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

Veröffentlichungsdatum

2016-03-21

Letztes Änderungsdatum

2019-07-18 12:09:25

Autor:innen

Ilya Grishchenko
Matteo Maffei
Stefano Calzavara

Herunterladen