Beyond Provable Security Verifiable IND-CCA Security of OAEP | Publicación