Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech. Automated Proofs for Asymmetric Encryption. In Dennis Dams, Ulrich Hannemann, Martin Steffen, editors, Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever. Volume 5930 of Lecture Notes in Computer Science, pages 300-321, Springer, 2010. [doi]
Abstract is missing.