4111 search results - page 717 / 823 » Security, Protocols, and Trust |
177
Voted
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
The emergence of the Internet as a trusted medium for commerce and communication has made cryptography an essential component of modern information systems. Cryptography provides ...
235
Voted
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
225
Voted
PET
2010
Springer
15 years 9 months ago
2010
Springer
Mobile smartphone users frequently need to search for nearby points of interest from a location based service, but in a way that preserves the privacy of the users' locations...
197
Voted
DIMVA
2008
15 years 8 months ago
2008
Abstract. This paper presents a novel framework to substantiate selfsigned certificates in the absence of a trusted certificate authority. In particular, we aim to address the prob...
216
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
Recently, there has been much excitement in the research community over using social networks to mitigate multiple identity, or Sybil, attacks. A number of schemes have been propo...