A Formal Analysis of SCTP: Attack Synthesis and Patch Verification

Authors: 

Jacob Ginesin, Max von Hippel, Evan Defloor, and Cristina Nita-Rotaru, Northeastern University; Michael Tuxen, FH Munster