Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani. Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents. In Paritosh K. Pandya, Jaikumar Radhakrishnan, editors, FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings. Volume 2914 of Lecture Notes in Computer Science, pages 124-135, Springer, 2003. [doi]

This author has not been identified. Look up 'Yannick Chevalier' in GoogleThis author has not been identified. Look up 'Ralf Küsters' in GoogleThis author has not been identified. Look up 'Michaël Rusinowitch' in GoogleThis author has not been identified. Look up 'Mathieu Turuani' in Google

runs on WebDSL