Probabilistic relational verification for cryptographic implementations | Publicación