785 search results - page 95 / 157 » Static Analysis of Android Programs |
143
click to vote
ASIAN
2009
Springer
15 years 5 days ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
143
click to vote
ISCA
2012
IEEE
13 years 4 months ago
2012
IEEE
Efficient execution of well-parallelized applications is central to performance in the multicore era. Program analysis tools support the hardware and software sides of this effor...
120
click to vote
COMCOM
2000
15 years 2 months ago
2000
Java is an ideal platform for implementing mobile code systems, not only because of its portability but also because it is designed with security in mind. Untrusted Java programs ...
174
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
122
click to vote
POPL
2010
ACM
15 years 2 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...