TY  - RPRT
TI  - Synthesis of Winning Attacks on Communication Protocols using Supervisory Control Theory: Two Case Studies
AU  - Shoma Matsui
AU  - Stéphane Lafortune
PY  - 2022
DO  - 10.1007/s10626-022-00369-1
UR  - https://arxiv.org/abs/2102.06028
ID  - 2102.06028
ER  -