Understanding DNS Query Composition at B-Root. - Jacob Ginesin; Jelena Mirkovic (BDCAT, 2022)

SafeLLVM: LLVM Without The ROP Gadgets! - Federico Cassano; Charles Bershatsky; Jacob Ginesin (CoRR, 2023)

A Formal Analysis of SCTP: Attack Synthesis and Patch Verification. - Jacob Ginesin; Max von Hippel; Evan Defloor; Cristina Nita-Rotaru; Michael Tüxen (USENIX Security Symposium, 2024)

A Formal, Symbolic Analysis of the Matrix Cryptographic Protocol Suite. - Jacob Ginesin; Cristina Nita-Rotaru (CoRR, 2024)

The State of Julia for Scientific Machine Learning. - Edward Berman; Jacob Ginesin (CoRR, 2024)