Takehiko Mieno

According to our database, Takehiko Mieno authored at least 3 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif.

Takehiko Mieno, Hiroyuki Okazaki, Kenichi Arai, Yuichi Futa

IEEE Access, 2024

Formal Security Verification for Searchable Symmetric Encryption Using ProVerif.

Takehiko Mieno, Hiroyuki Okazaki, Kenichi Arai, Yuichi Futa, Hiroaki Yamamoto

Proceedings of the International Symposium on Information Theory and Its Applications, 2024

2020

Formal Verification of Merkle-Damgård Construction in ProVerif.

Takehiko Mieno, Togo Yoshimura, Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai

Proceedings of the International Symposium on Information Theory and Its Applications, 2020