Jacob Ginesin

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
On Uncertainty Calibration for Equivariant Functions.
Trans. Mach. Learn. Res., 2026

SAGA: A Security Architecture for Governing AI Agentic Systems.
Proceedings of the 33rd Annual Network and Distributed System Security Symposium, 2026

CommILP: Synthesizing Communication Infrastructure for Domain Computing Platforms.
Proceedings of the 31st Asia and South Pacific Design Automation Conference, 2026

2024
The State of Julia for Scientific Machine Learning.
CoRR, 2024

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

A Formal Analysis of SCTP: Attack Synthesis and Patch Verification.
Proceedings of the 33rd USENIX Security Symposium, 2024

2023
SafeLLVM: LLVM Without The ROP Gadgets!
CoRR, 2023

2022
Understanding DNS Query Composition at B-Root.
Proceedings of the IEEE/ACM International Conference on Big Data Computing, 2022


  Loading...