Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs | Publicación