@InProceedings{Zanella:2011:RSA,
  author    = "Gilles Barthe and
               Benjamin Gr{\'e}goire and     
	       Yassine Lakhnech and
               Santiago {Zanella B{\'e}guelin}",
  title     = "Beyond Provable Security. {V}erifiable {IND-CCA} Security of {OAEP}",
  booktitle = "Topics in Cryptology -- CT-RSA 2011",
  publisher = "Springer",
  series    = "Lecture Notes in Computer Science",
  volume    = "6558",
  pages     = "180-196",
  year      = "2011"
}