3115 search results - page 278 / 623 » Synthesizing Secure Protocols |
169
Voted
JCP
2006
15 years 6 months ago
2006
Recently, Wang et al. proposed a set of double auction protocols with full privacy protection based on distributed ElGamal encryption. Unfortunately, their protocols are expensive ...
144
click to vote
ISCC
2007
IEEE
2007
IEEE
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
16 years 29 days ago
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version o...
173
click to vote
ISCC
2006
IEEE
16 years 21 days ago
2006
IEEE
Multipath routing protocols have proved to be able to enhance the performance of MANET in terms of reliability, load balancing, multimedia streaming, security, etc. However, deplo...
161
click to vote
EUC
2005
Springer
16 years 6 days ago
2005
Springer
Ensuring anonymity in sensor networks is a major security goal. Using traffic analysis, the attacker can compromise the network functionality by correlating data flow patterns to ...
155
click to vote
CTRSA
2009
Springer
15 years 10 months ago
2009
Springer
We design communication efficient two-party and multi-party protocols for the longest common subsequence (LCS) and related problems. Our protocols achieve privacy with respect to p...