Verified security of redundancy-free encryption from Rabin               and RSA

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2012
Type of Publication:	In Proceedings
Authors:	Barthe, Gilles Pointcheval, David Béguelin, Santiago Zanella
Editor:	Ting Yu and George Danezis and Virgil D. Gligor
Book title:	ACM Conference on Computer and Communications Security
Pages:	724-735


ISBN:	978-1-4503-1651-4

@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", }
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
[Bibtex]