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