947 search results - page 46 / 190 » Provable Implementations of Security Protocols |
104
click to vote
ESORICS
2012
Springer
13 years 2 months ago
2012
Springer
Motivated by the need to outsource file storage to untrusted clouds while still permitting limited use of that data by third parties, we present practical protocols by which a cli...
108
click to vote
ISLPED
2003
ACM
15 years 5 months ago
2003
ACM
Security is critical to a wide range of wireless data applications and services. While several security mechanisms and protocols have been developed in the context of the wired In...
117
click to vote
CCS
2008
ACM
15 years 1 months ago
2008
ACM
When users run a group key exchange (GKE) protocol, they usually extract the key from some auxiliary (ephemeral) secret information generated during the execution. Strong corrupti...
ESORICS
2003
Springer
15 years 5 months ago
2003
Springer
Recently, David Chaum proposed an electronic voting scheme that combines visual cryptography and digital processing. It was designed to meet not only mathematical security standard...
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...