Lintent: Towards Security Type-Checking of Android Applications.

Michele Bugliesi, Stefano Calzavara, Alvise Span

Browse the full FORTE paper archive.