Takehiko Mieno

Orcid: 0009-0002-1646-2333

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif.
IEEE Access, 2024

Formal Security Verification for Searchable Symmetric Encryption Using ProVerif.
Proceedings of the International Symposium on Information Theory and Its Applications, 2024

2020
Formal Verification of Merkle-Damgård Construction in ProVerif.
Proceedings of the International Symposium on Information Theory and Its Applications, 2020


  Loading...