PUBLICATION

International Conference

  • Daisuke Ishii: A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method, SPIN, pp. 1-18, 2024.

  • Yuki Yamaguchi, Toshiaki Aoki: Attack Tree Analysis for Adversarial Evasion Attacks, IEEE Pacific Rim International Symposium on Dependable Computing, pp.46-52, 2023.