Secret Securing with Multiple Protections and Minimum Costs. - Shoma Matsui; Kai Cai (CDC, 2019)

Synthesis of Winning Attacks on Communication Protocols using Supervisory Control Theory. - Shoma Matsui; Stéphane Lafortune (CoRR, 2021)

Usability Aware Secret Protection with Minimum Cost. - Shoma Matsui; Kai Cai (CoRR, 2021)

Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies. - Shoma Matsui; Stéphane Lafortune (Discret. Event Dyn. Syst., 2022)

Distributed Secret Securing in Discrete-Event Systems. - Shoma Matsui; Kai Cai 002; Karen Rudie (ACC, 2024)

A Two-Pronged Approach to Security of Discrete-Event Systems. - Shoma Matsui; Karen Rudie; Kai Cai 002 (J. Syst. Sci. Complex., 2025)