Kakeru Watanabe

According to our database¹, Kakeru Watanabe authored at least 2 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Formal Verification of Challenge Flow in EMV 3-D Secure and Its Improvement.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2025

2024

Formal Verification of Challenge Flow in EMV 3-D Secure.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy - 29th Australasian Conference, 2024