@inproceedings{DBLP:conf/ccs/BartheCGKLSB13,
  author    = {Gilles Barthe and
               Juan Manuel Crespo and
               Benjamin Gr{\'e}goire and
               C{\'e}sar Kunz and
               Yassine Lakhnech and
               Benedikt Schmidt and
               Santiago Zanella B{\'e}guelin},
  title     = {Fully automated analysis of padding-based encryption in
               the computational model},
  booktitle = {ACM Conference on Computer and Communications Security},
  year      = {2013},
  pages     = {1247-1260},
  ee        = {http://doi.acm.org/10.1145/2508859.2516663},
  crossref  = {DBLP:conf/ccs/2013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}