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

Formal Security Verification for Searchable Symmetric Encryption Using ProVerif. - Takehiko Mieno; Hiroyuki Okazaki; Kenichi Arai; Yuichi Futa; Hiroaki Yamamoto (ISITA, 2024)

How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif. - Takehiko Mieno; Hiroyuki Okazaki; Kenichi Arai; Yuichi Futa (IEEE Access, 2024)