Jay Bosamiya Software Security Researcher


BibTeX: [link], Google Scholar: [link], dblp: [link]

A Principled Approach Towards Unapologetic Security. Jay Bosamiya. PhD Thesis, Carnegie Mellon University, May, 2024. [pdf]

Mariposa: Measuring SMT Instability in Automated Program Verification. Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, and Bryan Parno. In Proceedings of the Formal Methods in Computer-Aided Design (FMCAD), October, 2023. [pdf] [extended pdf]

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, and Deian Stefan. In Proceedings of the ACM Symposium on Principles of Programming Languages (POPL), January, 2023. [pdf]

Provably-Safe Multilingual Software Sandboxing using WebAssembly. Jay Bosamiya, Wen Shih Lim, and Bryan Parno. In Proceedings of the USENIX Security Symposium, August, 2022. Distinguished Paper Award and Internet Defense Prize. [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]