Cryptology ePrint Archive: Report 2012/308

Available versions in chronological order


Verified Security of Redundancy-Free Encryption from Rabin and RSA
Gilles Barthe and David Pointcheval and Santiago Zanella-Béguelin

Verified Security of Redundancy-Free Encryption from Rabin and RSA
Gilles Barthe and David Pointcheval and Santiago Zanella-Béguelin

Verified Security of Redundancy-Free Encryption from Rabin and RSA
Gilles Barthe and David Pointcheval and Santiago Zanella-Béguelin
Publication Info: To appear in 19th ACM Conference on Computer and Communications Security, CCS 2012. ACM Press, 2012.


[ Cryptology ePrint archive ]