Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs | Publicación