785 search results - page 105 / 157 » Static Analysis of Android Programs |
130
click to vote
SP
2008
IEEE
15 years 8 months ago
2008
IEEE
Attacks often exploit memory errors to gain control over the execution of vulnerable programs. These attacks remain a serious problem despite previous research on techniques to pr...
127
click to vote
RTAS
2006
IEEE
15 years 8 months ago
2006
IEEE
The evolution of battery technology is not being able to keep up with the increasing performance demand of mobile embedded systems. Therefore, battery life has become an important...
109
click to vote
CSFW
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
FUIN
2010
15 years 16 days ago
2010
Abstract. Current methods for solving games embody a form of “procedural rationality” that invites logical analysis in its own right. This paper is a brief case study of Backwa...
124
click to vote
USS
2010
14 years 12 months ago
2010
The browser has become the de facto platform for everyday computation. Among the many potential attacks that target or exploit browsers, vulnerabilities in browser extensions have...