Verified Security of Merkle-Damgård | Publicación