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 Fri Jul 26 23:05:00 2024 CEST.