Shoma Matsui

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 6

Top Topics

Communication Protocols

Dynamical Systems

Top Venues

Discret. Event Dyn. Syst.

Publications

Shoma Matsui, Kai Cai, Karen Rudie
Distributed Secret Securing in Discrete-Event Systems. CoRR (2024)
Shoma Matsui, Stéphane Lafortune
Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies. Discret. Event Dyn. Syst. 32 (4) (2022)
Shoma Matsui, Stéphane Lafortune
Synthesis of Winning Attacks on Communication Protocols using Supervisory Control Theory. CoRR (2021)
Shoma Matsui, Kai Cai
Usability Aware Secret Protection with Minimum Cost. CoRR (2021)
Shoma Matsui, Kai Cai
Secret Securing with Multiple Protections and Minimum Costs. CoRR (2019)
Shoma Matsui, Kai Cai
Secret Securing with Multiple Protections and Minimum Costs. CDC (2019)