Jacob Ginesin

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Query Reformulation

Heterogeneous Networks

Top Venues

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)
Federico Cassano, Charles Bershatsky, Jacob Ginesin
SafeLLVM: LLVM Without The ROP Gadgets! CoRR (2023)
Jacob Ginesin, Jelena Mirkovic
Understanding DNS Query Composition at B-Root. CoRR (2023)
Jacob Ginesin, Jelena Mirkovic
Understanding DNS Query Composition at B-Root. BDCAT (2022)