@inproceedings{CDE+10b,
title = {Automated Proofs for Asymmetric Encryption },
author = {Courant, Judica\"el and Daubignard, Marion and Ene, Cristian and Lafourcade, Pascal and Lakhnech, Yassine},
year = {2010},
booktitle = {Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever},
pages = {300-321},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5930},
team = {DCS,PACSS},
}
