Interactively verifying absence of explicit information flows in Android apps.

Osbert Bastani Saswat Anand Alex Aiken

Published in: OOPSLA (2015)

Keyphrases

information flows
mobile applications
information flow
mobile apps
android platform
mobile platforms
emergency response
mobile devices
android application
development tools
organizational structure
smart phones
user interaction
information systems
artificial intelligence
business models
management system