Symbolic Methods in Computational Cryptography Proofs | Publicación