1190 search results - page 150 / 238 » Secure off-the-record messaging |
ASIACRYPT
2007
Springer
15 years 7 months ago
2007
Springer
We consider a new model for online secure computation on encrypted inputs in the presence of malicious adversaries. The inputs are independent of the circuit computed in the sense ...
88
Voted
CSFW
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract. A multi-party contract signing protocol allows a set of participants to exchange messages with each other with a view to arriving in a state in which each of them has a p...
105
Voted
CSFW
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
108
Voted
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
98
Voted
ACNS
2004
Springer
15 years 6 months ago
2004
Springer
Cryptographic protocol design in a two-party setting has often ignored the possibility of simultaneous message transmission by each of the two parties (i.e., using a duplex channe...