Computer-Aided Security Proofs for the Working Cryptographer | Publicación