HornDroid: Practical and sound static analysis of android applications by SMT solving

Institutions 1

Università Ca' Foscari Venezia

Macro area
Mathematics and Science

Category
Publication

From January 01, 2016 to January 01, 2016