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 Sat Nov 23 09:00:23 2024 CET.