Home Publications

Verified security of redundancy-free encryption from Rabin and RSA

Research Area: Uncategorized Year: 2012
Type of Publication: In Proceedings
  • 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
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