16 search results - page 1 / 4 » Automated Analysis of Java Methods for Confidentiality |
CAV
2009
Springer
14 years 5 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
PPOPP
2005
ACM
13 years 10 months ago
2005
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
ECOOP
2003
Springer
13 years 10 months ago
2003
Springer
Despite Java’s automatic reclamation of memory, memory leaks remain an important problem. For example, we frequently encounter memory leaks that cause production servers to crash...
BIOINFORMATICS
2005
13 years 4 months ago
2005
Motivation: Genetic analysis of HIV-1 is important not only for vaccine development, but also to guide treatment strategies, track the emergence of new viral variants and ensure t...
WCRE
1999
IEEE
13 years 9 months ago
1999
IEEE
Code duplication, plausibly caused by copying source code and slightly modifying it, is often observed in large systems. Clone detection and documentation have been investigated b...