1853 search results - page 31 / 371 » Cryptographic Protocols and Network Security |
101
click to vote
CSFW
2004
IEEE
15 years 3 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
ICALP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper we attempt to formally study two very intuitive physical models: sealed envelopes and locked boxes, often used as illustrations for common cryptographic ope...
CCS
2004
ACM
15 years 5 months ago
2004
ACM
We show that a number of recent definitions and constructions of fuzzy extractors are not adequate for multiple uses of the same fuzzy secret—a major shortcoming in the case of...
120
click to vote
SIGCOMM
2012
ACM
13 years 2 months ago
2012
ACM
This demo presents MultiNet, a novel method for joining devices to a domestic Wi-Fi network. MultiNet dynamically reconfigures the network to accept each device, rather than con...
FC
2010
Springer
14 years 10 months ago
2010
Springer
This work presents a cryptographic analysis of AN.ON’s anonymization protocols. We have discovered three flaws of differing severity. The first is caused by the fact that the ...