SPLASH 2015 (series) / Osbert Bastani
Registered user since Thu 23 Jun 2016
Name:Osbert Bastani
Affiliation:Stanford University
Contributions
SPLASH 2015 | Interactively Verifying Absence of Explicit Information Flows in Android Apps | ||||||||||||||||||||||||||||||||||||||||
MobileDeLi 2015 | An Interactive Approach to Mobile App Verification | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2015-profile
View general profile
View general profile