2421 search results - page 183 / 485 » Message from the Editor-in-Chief |
104
click to vote
CSFW
2002
IEEE
15 years 6 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
125
click to vote
CSCW
1998
ACM
15 years 6 months ago
1998
ACM
Usenet may be regarded as the world’s largest conversational application, with over 17,000 newsgroups and 3 million users. Despite its ubiquity and popularity, however, we know ...
107
click to vote
PRESENCE
2002
15 years 1 months ago
2002
In tasks that require listeners to monitor two or more simultaneous talkers, substantial performance benefits can be achieved by spatially separating the competing speech messages...
110
Voted
IACR
2011
14 years 1 months ago
2011
Zero knowledge sets (ZKS) [18] allow a party to commit to a secret set S and then to, non interactively, produce proofs for statements such as x ∈ S or x /∈ S. As recognized in...
ICPR
2008
IEEE
16 years 3 months ago
2008
IEEE
This paper addresses the problem of learning archetypal structural models from examples. To this end we define a generative model for graphs where the distribution of observed nod...