Number of items: 1.
Conference or Workshop Item (A Paper)
Backes, Michael and Barthe, Gilles and Berg, Matthias and Grégoire, Benjamin and Kunz, César and Skoruppa, Malte and Béguelin, Santiago Zanella
(2012)
Verified Security of Merkle-Damgård.
This list was generated on Sun Apr 20 12:36:32 2025 CEST.