Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2102.06028
Cited By
v1
v2
v3 (latest)
Synthesis of Winning Attacks on Communication Protocols using Supervisory Control Theory: Two Case Studies
9 February 2021
Shoma Matsui
S. Lafortune
AAML
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Synthesis of Winning Attacks on Communication Protocols using Supervisory Control Theory: Two Case Studies"
1 / 1 papers shown
Title
A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
Jacob Ginesin
Max von Hippel
Evan Defloor
Cristina Nita-Rotaru
Michael Tüxen
44
0
0
08 Mar 2024
1
