TY  - RPRT
TI  - A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
AU  - Jacob Ginesin
AU  - Max von Hippel
AU  - Evan Defloor
AU  - Cristina Nita-Rotaru
AU  - Michael Tüxen
PY  - 2024
UR  - https://arxiv.org/abs/2403.05663
ID  - 2403.05663
ER  -