2024
A Formal Analysis of SCTP: Attack Synthesis and Patch Verification.
[DOI]
Jacob Ginesin
,
Max von Hippel
,
Evan Defloor
,
Cristina Nita-Rotaru
,
Michael Tüxen
Proceedings of the 33rd USENIX Security Symposium, 2024