@conference{DBLP:conf/ccs/BarthePB12,
author = "Gilles Barthe and David Pointcheval and Santiago Zanella B{\'e}guelin",
booktitle = "ACM Conference on Computer and Communications Security",
editor = "Ting Yu and               George Danezis and               Virgil D. Gligor",
isbn = "978-1-4503-1651-4",
note = "PROJECT: European Projects FP7-256980 NESSoS and FP7-229599 AMAROUT, Spanish National project TIN2009-14599 DESAFIOS 10, and Madrid
Regional project S2009TIC-1465 PROMETIDOS
PARTNER: IMDEA
CITATIONS: 9
CITE(03/03/2014):9
TIER: A",
pages = "724-735",
publisher = "ACM",
title = "{V}erified security of redundancy-free encryption from {R}abin               and {RSA}",
year = "2012",
}