Publication Overview

Michael Backes and Gilles Barthe and Matthias Berg and Benjamin Grégoire and César Kunz and Malte Skoruppa and Santiago Zanella Béguelin

Verified Security of Merkle-Damgård

Published in: Proc. 25th IEEE Computer Security Foundations Symposium (CSF 2012)
Year: 2012
Pages: 354-368