Jacob Ginesin

According to our database, Jacob Ginesin authored at least 8 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

On Uncertainty Calibration for Equivariant Functions.

Edward Berman, Jacob Ginesin, Marco Pacini, Robin Walters

Trans. Mach. Learn. Res., 2026

SAGA: A Security Architecture for Governing AI Agentic Systems.

Georgios Syros, Anshuman Suri, Jacob Ginesin, Cristina Nita-Rotaru, Alina Oprea

Proceedings of the 33rd Annual Network and Distributed System Security Symposium, 2026

CommILP: Synthesizing Communication Infrastructure for Domain Computing Platforms.

Qucheng Jiang, Jacob Ginesin, Oscar Kellner, Tianrui Ma, Gunar Schirner

Proceedings of the 31st Asia and South Pacific Design Automation Conference, 2026

2024

The State of Julia for Scientific Machine Learning.

Edward Berman, Jacob Ginesin

CoRR, 2024

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

Jacob Ginesin, Cristina Nita-Rotaru

CoRR, 2024

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

Jacob Ginesin, Max von Hippel, Evan Defloor, Cristina Nita-Rotaru, Michael Tüxen

Proceedings of the 33rd USENIX Security Symposium, 2024

2023

SafeLLVM: LLVM Without The ROP Gadgets!

Federico Cassano, Charles Bershatsky, Jacob Ginesin

CoRR, 2023

2022

Understanding DNS Query Composition at B-Root.

Jacob Ginesin, Jelena Mirkovic

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