A Formal Analysis of SCTP: Attack Synthesis and Patch Verification.

Jacob Ginesin Max von Hippel Evan Defloor Cristina Nita-Rotaru Michael Tüxen

Published in: CoRR (2024)

Keyphrases

formal analysis
formal methods
end to end
heterogeneous networks
image patches
agent model
database
case study
software engineering
countermeasures