1599 search results - page 60 / 320 » Program Analysis for Security and Privacy |
126
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a declarative manner, using reference attribute grammars augmented with circular a...
118
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Security decision-making is hard for both humans and machines. This is because security decisions are context-dependent, require highly dynamic, specialized knowledge, and require...
131
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
109
Voted
ACSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we present a new approach for safe execution of untrusted programs by isolating their effects from the rest of the system. Isolation is achieved by intercepting fi...
131
Voted
SIN
2010
ACM
15 years 1 months ago
2010
ACM
In recent years, social networking sites (SNSs) gained high popularity among Internet users as they combine the best of both worlds: befriending people outside real life situation...