Verified security of redundancy-free encryption from Rabin and RSA.

Gilles Barthe, David Pointcheval, Santiago Zanella-Bguelin

Browse the full CCS paper archive.