SPLASH 2015
Fri 23 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States
SPLASH 2015 (series) / Alex Aiken

Registered user since Wed 16 Jun 2021

Name:Alex Aiken
Affiliation:Stanford University

Contributions

MobileDeLi 2015 An Interactive Approach to Mobile App Verification
SPLASH 2015 Conditionally Correct Superoptimization
Interactively Verifying Absence of Explicit Information Flows in Android Apps
Show activities from other conferences

SPLASH 2015-profile
View general profile