5476 search results - page 334 / 1096 » Resettably Secure Computation |
205
Voted
ESORICS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
202
click to vote
OTM
2004
Springer
16 years 4 days ago
2004
Springer
As Grid technology evolves it is becoming evident that the inclusion of mobile devices in a Grid environment will benefit both the Grid and mobile network communities. Many mobile...
180
click to vote
ICNP
2003
IEEE
16 years 2 days ago
2003
IEEE
A prerequisite for secure communication between two nodes in an ad hoc network is that the nodes share a key to bootstrap their trust relationship. In this paper, we present a sca...
200
click to vote
EUROCRYPT
2003
Springer
16 years 13 hour ago
2003
Springer
We introduce captcha, an automated test that humans can pass, but current computer programs can’t pass: any program that has high success over a captcha can be used to solve an u...
190
Voted
NDSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The Border Gateway Protocol (BGP), which is used to distribute routing information between autonomous systems, is an important component of the Internet’s routing infrastructure...