Interactively verifying absence of explicit information flows in Android apps

Document Details

Document Type: Pub Defense Publication
Publication Date: Oct 23, 2015
Source ID: 10.1145/2814270.2814274

Entities

People

Alex Aiken
Osbert Bastani
Saswat Anand

Organizations

Air Force Research Laboratory
Stanford University