bibtex

@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},
}


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4190845