A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
Ginesin, Jacob, von Hippel, Max, Defloor, Evan, Nita-Rotaru, Cristina, Tüxen, Michael
Year of Publication 08.03.2024
Year of Publication 08.03.2024
Get full text
Journal Article
A Formal Analysis of SCTP: Attack Synthesis and Patch Verification
Ginesin, Jacob, Max von Hippel, Defloor, Evan, Nita-Rotaru, Cristina, Tüxen, Michael
Published in arXiv.org (08.03.2024)
Get full text
Published in arXiv.org (08.03.2024)
Paper