@inproceedings{CDE+08b,
title = {Automated Proofs for Asymmetric Encryption },
author = {Courant, Judica\"el and Daubignard, Marion and Ene, Cristian and Lafourcade, Pascal and Lakhnech, Yassine},
year = {2008},
booktitle = {Proceedings of the {LICS}-Affiliated Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis},
address = {Pittsburg, USA},
team = {DCS,PACSS},
}
