Jacob Ginesin

According to our database¹, Jacob Ginesin authored at least 3 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

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

[BibT_eX]

[DOI]

CoRR, 2024

2023

SafeLLVM: LLVM Without The ROP Gadgets!

[BibT_eX]

[DOI]

CoRR, 2023

2022

Understanding DNS Query Composition at B-Root.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Big Data Computing, 2022