4340 search results - page 7 / 868 » Formal Methods and Cryptography |
115
click to vote
CCS
2005
ACM
15 years 7 months ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
130
click to vote
PKC
2009
Springer
16 years 2 months ago
2009
Springer
Abstract.We introduce the notion of distributed password-based publickey cryptography, where a virtual high-entropy private key is implicitly dened as a concatenation of low-entrop...
200
Voted
TFM
2009
Springer
15 years 8 months ago
2009
Springer
163
Voted
FM
1998
Springer
15 years 6 months ago
1998
Springer
195
Voted
FM
2006
Springer
15 years 5 months ago
2006
Springer