1599 search results - page 15 / 320 » Program Analysis for Security and Privacy |
OOPSLA
1999
Springer
14 years 26 days ago
1999
Springer
CCS
2010
ACM
13 years 8 months ago
2010
ACM
SP
2002
IEEE
13 years 8 months ago
2002
IEEE
ESORICS
2009
Springer
14 years 9 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...
CCS
1998
ACM
14 years 25 days 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...