1599 search results - page 257 / 320 » Program Analysis for Security and Privacy |
127
Voted
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
137
Voted
CSFW
2010
IEEE
15 years 6 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
133
Voted
EUROISI
2008
15 years 5 months ago
2008
This paper discusses the task of tracking mentions of some topically interesting textual entity from a continuously and dynamically changing flow of text, such as a news feed, the ...
134
Voted
CCS
2011
ACM
14 years 3 months ago
2011
ACM
Online service providers are engaged in constant conflict with miscreants who try to siphon a portion of legitimate traffic to make illicit profits. We study the abuse of “tr...
125
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...