An interactive approach to mobile app verification
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Oct 26, 2015
- Source ID
- 10.1145/2846661.2846668
Entities
People
- Alex Aiken
- Osbert Bastani
- Saswat Anand
Organizations
- Air Force Research Laboratory
- Stanford University