Jay Bosamiya Software Security Researcher


BibTex: [link], Google Scholar: [link]

Provably-Safe Multilingual Software Sandboxing using WebAssembly. Jay Bosamiya, Wen Shih Lim, and Bryan Parno. To Appear in Proceedings of the USENIX Security Symposium, August, 2022. [pdf]

A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. Antoine Delignat-Lavaud, Cedric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, and Yi Zhou. In Proceedings of the IEEE Symposium on Security and Privacy, May, 2021. [pdf]

CAPS: Smoothly Transitioning to a More Resilient Web PKI. Stephanos Matsumoto, Jay Bosamiya, Yucheng Dai, Paul Oorschot, and Bryan Parno. In Proceedings of the ACSA Annual Computer Security Applications Conference (ACSAC), December, 2020. [pdf]

Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language. Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, and Chris Hawblitzel. In Proceedings of the Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), July, 2020. [pdf]