Interactively verifying absence of explicit information flows in Android apps.

Osbert Bastani, Saswat Anand, Alex Aiken

Browse the full OOPSLA paper archive.