5488 search results - page 223 / 1098 » On the Secure Implementation of Security Protocols |
164
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Our paper deals with the security of operational environments for evoting and its importance for the security of electronic elections. So far the security of e-voting was...
175
click to vote
ISCN
2006
IEEE
16 years 18 days ago
2006
IEEE
Suppose two entities that do not trust each other want to exchange some arbitrary data over a public channel. A fair exchange protocol ensures that both parties get what they want ...
212
click to vote
EUROCRYPT
2011
Springer
14 years 10 months ago
2011
Springer
We define the BQS-UC model, a variant of the UC model, that deals with protocols in the bounded quantum storage model. We present a statistically secure commitment protocol in th...
162
click to vote
MASS
2010
15 years 4 months ago
2010
A new generation of WSN communication transceivers are now available that support time-of-flight distance measurement. This measurement can be inseparably integrated with message t...
174
click to vote
CCS
2005
ACM
16 years 3 days ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...