Automating Computational Proofs for Public-Key-Based Key Exchange - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Long Ngo, Colin Boyd, Juan Manuel González Nieto. Automating Computational Proofs for Public-Key-Based Key Exchange. In Swee-Huay Heng, Kaoru Kurosawa, editors, Provable Security - 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings. Volume 6402 of Lecture Notes in Computer Science, pages 53-69, Springer, 2010. [doi]

This author has not been identified. Look up 'Long Ngo' in GoogleThis author has not been identified. Look up 'Colin Boyd' in GoogleThis author has not been identified. Look up 'Juan Manuel González Nieto' in Google

runs on WebDSL