Misato Nakabayashi

According to our database, Misato Nakabayashi authored at least 4 papers between 2021 and 2024.

Collaborative distances:

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

2024

Formal Support for Threat Modeling with Attack Decision Diagrams.

Misato Nakabayashi, Taro Sekiyama, Ichiro Hasuo, Yutaka Ishikawa

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

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