Jacob Ginesin

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

The State of Julia for Scientific Machine Learning.

[BibT_eX]

[DOI]

Edward Berman

Jacob Ginesin

CoRR, 2024

A Formal, Symbolic Analysis of the Matrix Cryptographic Protocol Suite.

[BibT_eX]

[DOI]

Jacob Ginesin

Cristina Nita-Rotaru

CoRR, 2024

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

[BibT_eX]

[DOI]

Proceedings of the 33rd USENIX Security Symposium, 2024

2023

SafeLLVM: LLVM Without The ROP Gadgets!

[BibT_eX]

[DOI]

Federico Cassano

Charles Bershatsky

Jacob Ginesin

CoRR, 2023

2022

Understanding DNS Query Composition at B-Root.

[BibT_eX]

[DOI]

Jacob Ginesin

Jelena Mirkovic

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

Jacob Ginesin

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...