Verimag

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

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 18 ; visits: 393855