741 search results - page 22 / 149 » Verification of security protocols using LOTOS-method and ap... |
128
click to vote
FC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Secure computation is a promising approach to business problems in which several parties want to run a joint application and cannot reveal their inputs. Secure computatio...
119
Voted
PKC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Perfect forward secrecy, one of the possible security features provided by key establishment protocols, concerns dependency of a session key upon long-term secret keys (s...
153
Voted
MASS
2010
15 years 1 months ago
2010
Recent advances in development of low-cost wireless sensor platforms open up opportunities for novel wireless sensor network (WSN) applications. Likewise emerge security concerns o...
135
click to vote
ACNS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper examines secure two-party computation of functions which depend only on the Hamming distance of the inputs of the two parties. We present efficient protocols f...
136
click to vote
IACR
2011
14 years 3 months ago
2011
Protocols for generic secure multi-party computation (MPC) come in two forms: they either represent the function being computed as a boolean circuit, or as an arithmetic circuit o...