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]
@inproceedings{CourantDELL10,
title = {Automated Proofs for Asymmetric Encryption},
author = {Judicaël Courant and Marion Daubignard and Cristian Ene and Pascal Lafourcade and Yassine Lakhnech},
year = {2010},
doi = {10.1007/978-3-642-11512-7_19},
url = {http://dx.doi.org/10.1007/978-3-642-11512-7_19},
tags = {Pascal},
researchr = {https://researchr.org/publication/CourantDELL10},
cites = {0},
citedby = {0},
pages = {300-321},
booktitle = {Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever},
editor = {Dennis Dams and Ulrich Hannemann and Martin Steffen},
volume = {5930},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-11511-0},
}