1599 search results - page 15 / 320 » Program Analysis for Security and Privacy |
OOPSLA
1999
Springer
15 years 7 months ago
1999
Springer
SP
2002
IEEE
15 years 3 months ago
2002
IEEE
128
Voted
ESORICS
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Diagnostic and classification algorithms play an important role in data analysis, with applications in areas such as health care, fault diagnostics, or benchmarking. Bran...
140
Voted
CCS
1998
ACM
15 years 7 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...