65 search results - page 11 / 13 » Deniable Key Exchanges for Secure Messaging |
CHI
2009
ACM
15 years 10 months ago
2009
ACM
We present Waterhouse, a system for sending and receiving cryptographically protected electronic mail ("secure e-mail"). We show how an existing e-mail interface can be ...
CRYPTO
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We propose a way to establish peer-to-peer authenticated communications over an insecure channel by using an extra channel which can authenticate very short strings, e.g....
CSFW
2007
IEEE
15 years 3 months ago
2007
IEEE
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...
ESORICS
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...
IDTRUST
2009
ACM
15 years 4 months ago
2009
ACM
Mailing lists are a natural technology for supporting messaging in multi-party, cross-domain collaborative tasks. However, whenever sensitive information is exchanged on such list...