Takehiko Mieno

Orcid: 0009-0002-1646-2333

According to our database¹, Takehiko Mieno authored at least 4 papers between 2020 and 2025.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2025

Formalization of Separable Version of Banach-Alaoglu Theorem.

[BibT_eX]

[DOI]

Hiroyuki Okazaki

Takehiko Mieno

Formaliz. Math., 2025

2024

How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif.

[BibT_eX]

[DOI]

IEEE Access, 2024

Formal Security Verification for Searchable Symmetric Encryption Using ProVerif.

[BibT_eX]

[DOI]

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

2020

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

[BibT_eX]

[DOI]

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

Takehiko Mieno

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...