Jay Bosamiya

According to our database, Jay Bosamiya authored at least 14 papers between 2015 and 2025.

Collaborative distances:

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

2025

Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust.

Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich, Bryan Parno

Proceedings of the 34th USENIX Security Symposium, 2025

TRex: Practical Type Reconstruction for Binary Code.

Jay Bosamiya, Maverick Woo, Bryan Parno

Proceedings of the 34th USENIX Security Symposium, 2025

2024

A Principled Approach towards Unapologetic Security

Jay Bosamiya

PhD thesis, 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

Context Pruning for More Robust SMT-based Program Verification.

Yi Zhou, Jay Bosamiya, Jessica Li, Marijn J. H. Heule, Bryan Parno

Proceedings of the Formal Methods in Computer-Aided Design, 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

2021

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

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

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