1599 search results - page 93 / 320 » Program Analysis for Security and Privacy |
143
click to vote
PERCOM
2005
ACM
16 years 3 months ago
2005
ACM
In a set of distributed wireless networks, such as globally distributed cellular systems, different networks could be administered by different operators. Mobile devices subscribe...
156
click to vote
NDSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Accurate network measurement through trace collection is critical for advancing network design and for maintaining secure, reliable networks. Unfortunately, the release of network...
100
click to vote
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
113
click to vote
IWPC
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
151
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
We present a points-to analysis technique suitable for environments with small time and memory budgets, such as just-in-time (JIT) compilers and interactive development environmen...