Login / Signup
Evan Defloor
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Database
Software Engineering
Formal Analysis
Agent Model
Top Venues
CoRR
USENIX Security Symposium
</>
Publications
</>
Jacob Ginesin
,
Max von Hippel
,
Evan Defloor
,
Cristina Nita-Rotaru
,
Michael Tüxen
A Formal Analysis of SCTP: Attack Synthesis and Patch Verification.
CoRR
(2024)
Jacob Ginesin
,
Max von Hippel
,
Evan Defloor
,
Cristina Nita-Rotaru
,
Michael Tüxen
A Formal Analysis of SCTP: Attack Synthesis and Patch Verification.
USENIX Security Symposium
(2024)