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]
Abstract is missing.