1599 search results - page 31 / 320 » Program Analysis for Security and Privacy |
171
click to vote
OOPSLA
2001
Springer
15 years 6 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
104
click to vote
CSFW
2008
IEEE
15 years 8 months ago
2008
IEEE
Zdancewic and Myers introduced observational determinism as a scheduler independent notion of security for concurrent programs. This paper proposes a type system for verifying obs...
OOPSLA
2010
Springer
15 years 9 days ago
2010
Springer
The act of computer programming is generally considered to be temporally removed from a computer program’s execution. In this paper we discuss the idea of programming as an acti...
129
click to vote
CCS
2009
ACM
15 years 8 months ago
2009
ACM
Social networking services well know that some users are unwilling to freely share the information they store with the service (e.g. profile information). To address this, servic...
ACSAC
1999
IEEE
15 years 6 months ago
1999
IEEE
The relationships between the work products of a security engineering process can be hard to understand, even for persons with a strong technical background but little knowledge o...