External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Verification of Merkle-Damgård Construction in ProVerif

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]

Authors

Takehiko Mieno

This author has not been identified. Look up 'Takehiko Mieno' in Google

Togo Yoshimura

This author has not been identified. Look up 'Togo Yoshimura' in Google

Hiroyuki Okazaki

This author has not been identified. Look up 'Hiroyuki Okazaki' in Google

Yuichi Futa

This author has not been identified. Look up 'Yuichi Futa' in Google

Kenichi Arai

This author has not been identified. Look up 'Kenichi Arai' in Google
runs on