@inproceedings{CDE+08c,
title = {Towards automated proofs for asymmetric encryption schemes in the random oracle model },
author = {Courant, Judica\"el and Daubignard, Marion and Ene, Cristian and Lafourcade, Pascal and Lakhnech, Yassine},
month = {october},
year = {2008},
booktitle = {Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008},
address = {Alexandria, Virginia, USA},
pages = {371-380},
publisher = {ACM},
team = {DCS,PACSS},
}