@InProceedings{Barthe: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",
  url       = "http://dx.doi.org/10.1007/978-3-642-19074-2_13"
}