58 search results - page 1 / 12 » Language-based security on Android |
CODASPY
2012
12 years 14 days ago
2012
Recent years have witnessed incredible popularity and adoption of smartphones and mobile devices, which is accompanied by large amount and wide variety of feature-rich smartphone ...
PLDI
2009
ACM
13 years 11 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
CCS
2010
ACM
13 years 5 months ago
2010
ACM
CCS
2010
ACM
13 years 8 months ago
2010
ACM
Android is the first mass-produced consumer-market open source mobile platform that allows developers to easily create applications and users to readily install them. However, giv...
ACSAC
2009
IEEE
13 years 11 months ago
2009
IEEE
—Smartphones are now ubiquitous. However, the security requirements of these relatively new systems and the applications they support are still being understood. As a result, the...