Verified security of redundancy-free encryption from Rabin and RSA | Publicación