@inproceedings{backes:hal-00765883, TITLE = {{Verified Security of Merkle-Damgaard}}, AUTHOR = {Backes, Michael and Barthe, Gilles and Berg, Matthias and Gr{\'e}goire, Benjamin and Kunz, Cesar and Skoruppa, Malte and Zanella-B{\'e}guelin, Santiago}, URL = {https://inria.hal.science/hal-00765883}, BOOKTITLE = {{25th IEEE Computer Security Foundations Symposium, CSF 2012}}, ADDRESS = {Cambridge, MA, United States}, PUBLISHER = {{IEEE}}, SERIES = {Computer Security Foundations Symposium (CSF), 2012 IEEE 25th}, PAGES = {354-368}, YEAR = {2012}, MONTH = Jun, DOI = {10.1109/CSF.2012.14}, PDF = {https://inria.hal.science/hal-00765883/file/main.pdf}, HAL_ID = {hal-00765883}, HAL_VERSION = {v1}, }