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 Wed Sep 27 04:35:01 2023 CEST.