Misato Nakabayashi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2021–2024
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | COMPSAC | Formal Support for Threat Modeling with Attack Decision Diagrams. | Misato Nakabayashi, Taro Sekiyama, Ichiro Hasuo, Yutaka Ishikawa |
| 2022 | COMPSAC | Architecture Design and Security Evaluation of Secure Optical Transport Network Using Formal Verification. | Shion Maeda, Misato Nakabayashi, Tetsuya Okuda |
| 2021 | AsiaCCS | Verification Method of Key-Exchange Protocols With a Small Amount of Input Using Tamarin Prover. | Misato Nakabayashi, Yuki Okano |