@inproceedings{ELN09, 
    title = {Formal Indistinguishability Extended to the Random Oracle Model }, 
    author = {Ene, Cristian and Lakhnech, Yassine and Ngo, Van Chan},
    year = {2009},
    booktitle = {Computer Security - ESORICS 2009, 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings},
    pages = {555-570},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {5789},
    team = {DCS,PACSS},
}