@InProceedings{Barthe:2012:CCS,
  author    = "Gilles Barthe and
               David Pointcheval and
               Santiago {Zanella B{\'e}guelin}",
  title     = "Verified Security of Redundancy-Free Encryption from {R}abin and {RSA}",
  booktitle = "19th ACM Conference on Computer and Communications Security",
  publisher = "ACM",
  year      = "2012",
  pages     = "724-735",
  url       = "http://dx.doi.org/10.1145/2382196.2382272"
}