Verification Method of Key-Exchange Protocols With a Small Amount of Input Using Tamarin Prover. - Misato Nakabayashi; Yuki Okano (ASSS@AsiaCCS, 2021)

Architecture Design and Security Evaluation of Secure Optical Transport Network Using Formal Verification. - Shion Maeda; Misato Nakabayashi; Tetsuya Okuda (COMPSAC, 2022)

A Security Verification Framework of Cryptographic Protocols Using Machine Learning. - Kentaro Ohno; Misato Nakabayashi (CoRR, 2023)

Formal Support for Threat Modeling with Attack Decision Diagrams. - Misato Nakabayashi; Taro Sekiyama; Ichiro Hasuo; Yutaka Ishikawa (COMPSAC, 2024)