Login / Signup
Misato Nakabayashi
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Temporal Logic
Security Analysis
Formal Verification
Diffie Hellman
Top Venues
ASSS@AsiaCCS
CoRR
COMPSAC
</>
Publications
</>
Kentaro Ohno
,
Misato Nakabayashi
A Security Verification Framework of Cryptographic Protocols Using Machine Learning.
CoRR
(2023)
Shion Maeda
,
Misato Nakabayashi
,
Tetsuya Okuda
Architecture Design and Security Evaluation of Secure Optical Transport Network Using Formal Verification.
COMPSAC
(2022)
Misato Nakabayashi
,
Yuki Okano
Verification Method of Key-Exchange Protocols With a Small Amount of Input Using Tamarin Prover.
ASSS@AsiaCCS
(2021)