5488 search results - page 947 / 1098 » On the Secure Implementation of Security Protocols |
165
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
183
click to vote
EUROCRYPT
2003
Springer
15 years 11 months ago
2003
Springer
Perfectly secret message transmission can be realized with only partially secret and weakly correlated information shared by the parties as soon as this information allows for the ...
188
click to vote
INDOCRYPT
2003
Springer
15 years 11 months ago
2003
Springer
We consider both information-theoretic and cryptographic settings for Multi-Party Computation (MPC), based on the underlying linear secret sharing scheme. Our goal is to study the ...
166
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
A scalable and expressive peer-to-peer (P2P) networking and computing framework requires efficient resource discovery services. Here we propose NEVRLATE, for Network-Efficient V...
178
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Ubiquitous computing is poised to revolutionize the way we compute and interact with each other. However, unless privacy concerns are taken into account early in the design proces...