Verified Security of Merkle-Damgård
2012pp. 354–368
Citations Over TimeTop 10% of 2012 papers
Michael Backes, Gilles Barthe, Matthias Berg, Benjamin Grégoire, César Kunz, Malte Skoruppa, Santiago Zanella-Béguelin
Abstract
International audience
Related Papers
- → Keyed hash function based on a chaotic map(2011)78 cited
- → A fast hash tree generator for Merkle signature scheme(2010)8 cited
- → Hash Functions and Their Applications(2017)7 cited
- → An FPGA design of a unified hash engine for IPSec authentication(2005)7 cited
- A collision resistant cryptographic hash function based on cellular automata rules(2013)