A Formal Analysis of SCTP: Attack Synthesis and Patch Verification. - Jacob Ginesin; Max von Hippel; Evan Defloor; Cristina Nita-Rotaru; Michael Tüxen (USENIX Security Symposium, 2024)