1777 search results - page 44 / 356 » Programming Cryptographic Protocols |
119
click to vote
CCS
2005
ACM
15 years 6 months ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
111
click to vote
IEEEARES
2010
IEEE
15 years 8 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...
106
click to vote
SACI
2007
IEEE
15 years 7 months ago
2007
IEEE
— an application for assuring the authenticity of audio-video information is developed. The application is implemented in Java by using Java Media Framework to send audio and vid...
CTRSA
2009
Springer
15 years 5 months ago
2009
Springer
We design communication efficient two-party and multi-party protocols for the longest common subsequence (LCS) and related problems. Our protocols achieve privacy with respect to p...
111
click to vote
IMC
2007
ACM
15 years 2 months ago
2007
ACM
The Secure Socket Layer (SSL) and its variant, Transport Layer Security (TLS), are used toward ensuring server security. In this paper, we characterize the cryptographic strength ...