Formal Verification of Merkle-Damgård Construction in ProVerif. - Takehiko Mieno; Togo Yoshimura; Hiroyuki Okazaki; Yuichi Futa; Kenichi Arai (ISITA, 2020)