3115 search results - page 493 / 623 » Synthesizing Secure Protocols |
135
click to vote
COMCOM
2006
15 years 5 months ago
2006
In this paper, we focus our attention on the problem of assigning initial secrets to users in ad-hoc network (respectively, sensors in a sensor network) so that they can use those...
150
click to vote
IJNSEC
2007
15 years 5 months ago
2007
Rivest and Shamir presented two simple micropayment schemes, “PayWord” and “MicroMint,” for making small purchases over the Internet [14]. Recently, Adachi et al. have poi...
135
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Quantum money is a cryptographic protocol in which a mint can produce a quantum state, no one else can copy the state, and anyone (with a quantum computer) can verify that the sta...
165
click to vote
CORR
2011
Springer
15 years 23 days ago
2011
Springer
A mix network by Wikstrom fails in correctness, provable privacy and soundness. Its claimed advantages in security and efficiency are compromised. The analysis in this paper illus...
152
click to vote
FOCS
2009
IEEE
16 years 15 days ago
2009
IEEE
Abstract— We show how to efficiently extract truly random bits from two independent sources of linear min-entropy, under a computational assumption. The assumption we rely on is...