Login / Signup
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:
USENIX Security Symposium (2024)
Keyphrases
</>
formal analysis
formal methods
end to end
heterogeneous networks
image patches
ban logic
knowledge base
model checking
countermeasures
agent model
databases
machine learning
expert systems
access control
ddos attacks