Jay Bosamiya

According to our database, Jay Bosamiya authored at least 10 papers between 2015 and 2024.

Collaborative distances:

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

2024

Verus: A Practical Foundation for Systems Verification.

Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Oded Padon, Bryan Parno

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

A Framework for Debugging Automated Program Verification Proofs via Proof Actions.

Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

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, Deian Stefan

Proc. ACM Program. Lang., January, 2023

Mariposa: Measuring SMT Instability in Automated Program Verification.

Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.

Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Craig Disselkoen, Aidan Denlinger, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan

CoRR, 2022

Provably-Safe Multilingual Software Sandboxing using WebAssembly.

Jay Bosamiya, Wen Shih Lim, Bryan Parno

Proceedings of the 31st USENIX Security Symposium, 2022

2020

A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.

Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou

IACR Cryptol. ePrint Arch., 2020

Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language.

Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel

Proceedings of the Software Verification - 12th International Conference, 2020

CAPS: Smoothly Transitioning to a More Resilient Web PKI.

Stephanos Matsumoto, Jay Bosamiya, Yucheng Dai, Paul C. van Oorschot, Bryan Parno

Proceedings of the ACSAC '20: Annual Computer Security Applications Conference, 2020

2015

Script independent scene text segmentation using fast stroke width transform and GrabCut.

Jay H. Bosamiya, Palash Agrawal, Partha Pratim Roy, Raman Balasubramanian

Proceedings of the 3rd IAPR Asian Conference on Pattern Recognition, 2015