1599 search results - page 12 / 320 » Program Analysis for Security and Privacy |
144
Voted
SP
2002
IEEE
15 years 2 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
99
Voted
CCS
2005
ACM
15 years 8 months ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
135
Voted
IEEEARES
2009
IEEE
15 years 9 days ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
SP
2010
IEEE
15 years 6 months ago
2010
IEEE
