Misato Nakabayashi

According to our database, Misato Nakabayashi authored at least 3 papers between 2021 and 2023.

Collaborative distances:

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

2023

A Security Verification Framework of Cryptographic Protocols Using Machine Learning.

Kentaro Ohno, Misato Nakabayashi

CoRR, 2023

2022

Architecture Design and Security Evaluation of Secure Optical Transport Network Using Formal Verification.

Shion Maeda, Misato Nakabayashi, Tetsuya Okuda

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021

Verification Method of Key-Exchange Protocols With a Small Amount of Input Using Tamarin Prover.

Misato Nakabayashi, Yuki Okano

Proceedings of the ASSS '21: Proceedings of the 2021 International Symposium on Advanced Security on Software and Systems, 2021