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.