Kakeru Watanabe

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

Collaborative distances:

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

2025

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

Kakeru Watanabe, Kazuki Yoneyama

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

Formal Verification of Labyrinth Encrypted Message Storage Protocol in Messenger.

Kakeru Watanabe, Kazuki Yoneyama

Proceedings of the Information Security Applications - 26th International Conference, 2025

2024

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

Kakeru Watanabe, Kazuki Yoneyama

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