Naomi Okumura

According to our database, Naomi Okumura authored at least 2 papers between 2020 and 2023.

Collaborative distances:

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

2023

A way to find counterexamples located at deep positions with domain knowledge of authentication protocols.

Naomi Okumura, Kazuhiro Ogata

Proceedings of the 12th International Conference on Software and Computer Applications, 2023

2020

Formal analysis of RFC 8120 authentication protocol for HTTP under different assumptions.

Naomi Okumura, Kazuhiro Ogata, Yoichi Shinoda

J. Inf. Secur. Appl., 2020