A long-awaited security proof | Publicación