5484 search results - page 213 / 1097 » Almost-Everywhere Secure Computation |
145
click to vote
CRYPTO
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
114
click to vote
NSDI
2008
15 years 7 months ago
2008
We present the design of a user study for comparing the security of two registration mechanisms for initializing credentials in machine authentication protocols, such as SiteKey. ...
131
click to vote
CONEXT
2008
ACM
15 years 6 months ago
2008
ACM
Until recently, the design of packet dropping adversary identification protocols that are robust to both benign packet loss and malicious behavior has proven to be surprisingly el...
111
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: The Sensor Integration Package is a reusable subsystem, combining the complementary capabilities of radar, infra red and long range day light camera, laser, image processing soft...
139
click to vote
APSCC
2009
IEEE
15 years 11 months ago
2009
IEEE
SOA have been deployed as a mean to offer a better flexibility, to increase efficiency through reuse of services and also to improve interoperability by providing new opportunit...