APA (7th ed.) Citation

Ginesin, J., von Hippel, M., Defloor, E., Nita-Rotaru, C., & Tüxen, M. (2024). A Formal Analysis of SCTP: Attack Synthesis and Patch Verification.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

Ginesin, Jacob, et al. A Formal Analysis of SCTP: Attack Synthesis and Patch Verification. 2024.