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]
Abstract is missing.