1599 search results - page 168 / 320 » Program Analysis for Security and Privacy |
134
click to vote
ESORICS
2009
Springer
15 years 8 months ago
2009
Springer
Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that secrets cannot be leaked, it is too restrictive for m...
133
click to vote
GRC
2007
IEEE
15 years 10 months ago
2007
IEEE
— One of the most substantial ways to protect users’ sensitive information is encryption. This paper is about the keyword index search system on encrypted documents. It has bee...
147
click to vote
EUROMICRO
2005
IEEE
15 years 10 months ago
2005
IEEE
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...
145
click to vote
AICCSA
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
142
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
iven software product lines combine the abstraction capability of Model Driven Software Development (MDSD) and the variability management capability of Software Product Line Engin...