Login / Signup
Naomi Okumura
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 2
Top Topics
Lightweight
Public Key
Formal Analysis
Authentication Protocol
Top Venues
J. Inf. Secur. Appl.
ICSCA
</>
Publications
</>
Naomi Okumura
,
Kazuhiro Ogata
A way to find counterexamples located at deep positions with domain knowledge of authentication protocols.
ICSCA
(2023)
Naomi Okumura
,
Kazuhiro Ogata
,
Yoichi Shinoda
Formal analysis of RFC 8120 authentication protocol for HTTP under different assumptions.
J. Inf. Secur. Appl.
53 (2020)