Takehiko Mieno, Togo Yoshimura, Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai. Formal Verification of Merkle-Damgård Construction in ProVerif. In International Symposium on Information Theory and Its Applications, ISITA 2020, Kapolei, HI, USA, October 24-27, 2020. pages 602-606, IEEE, 2020. [doi]
@inproceedings{MienoYOFA20,
title = {Formal Verification of Merkle-Damgård Construction in ProVerif},
author = {Takehiko Mieno and Togo Yoshimura and Hiroyuki Okazaki and Yuichi Futa and Kenichi Arai},
year = {2020},
url = {https://ieeexplore.ieee.org/document/9366163},
researchr = {https://researchr.org/publication/MienoYOFA20},
cites = {0},
citedby = {0},
pages = {602-606},
booktitle = {International Symposium on Information Theory and Its Applications, ISITA 2020, Kapolei, HI, USA, October 24-27, 2020},
publisher = {IEEE},
isbn = {978-4-88552-330-4},
}