Computer-Aided Security Proofs | Publicación