@article{CDE+11,
title = {Automated Proofs for Asymmetric Encryption },
author = {Courant, Judica\"el and Daubignard, Marion and Ene, Cristian and Lafourcade, Pascal and Lakhnech, Yassine},
year = {2011},
journal = {J. Autom. Reasoning},
number = {3},
pages = {261-291},
volume = {46},
team = {DCS,PACSS},
}
