Verified Security of Merkle-Damgaard

Presented at 25th IEEE Computer Security Foundations Symposium 2012 by

Michael Backes

Gilles Barthe

Matthias Berg

Benjamin Grgoire

Csar Kunz

Malte Skoruppa

Santiago Bguelin