P. Gupta and V. Shmatikov. Towards computationally sound symbolic analysis of key exchange protocols. In FMSE 2005, pages 23--32, 2005. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Key Confirmation and Adaptive Corruptions - In The Protocol (2006) Self-citation (Gupta Shmatikov) (Correct)
No context found.
P. Gupta and V. Shmatikov. Towards computationally sound symbolic analysis of key exchange protocols (extended abstract). In 3rd ACM Workshop on Formal Methods in Security Engineering (FMSE). ACM, November 2005.
Key Confirmation and Adaptive Corruptions - In The Protocol (2006) Self-citation (Gupta Shmatikov) (Correct)
No context found.
P. Gupta and V. Shmatikov. Towards computationally sound symbolic analysis of key exchange protocols. http://eprint.iacr.org/2005/171, 2005.
Computationally Sound Symbolic Secrecy in the - Presence Of Hash (2006) (Correct)
No context found.
P. Gupta and V. Shmatikov. Towards computationally sound symbolic analysis of key exchange protocols. In FMSE 2005, pages 23--32, 2005.
Key Exchange Protocols: Security Definition, Proof.. - Datta, Derek.. (2006) (Correct)
No context found.
Gupta, P., Shmatikov, V.: Towards computationally sound symbolic analysis of key exchange protocols. In: Proceedings of ACM Workshop on Formal Methods in Security Engineering. (2005) to appear.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC