Script independent scene text segmentation using fast stroke width transform and GrabCut. - Jay H. Bosamiya; Palash Agrawal; Partha Pratim Roy 001; Raman Balasubramanian (ACPR, 2015)

CAPS: Smoothly Transitioning to a More Resilient Web PKI. - Stephanos Matsumoto; Jay Bosamiya; Yucheng Dai; Paul C. van Oorschot; Bryan Parno (ACSAC, 2020)

Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language. - Jay Bosamiya; Sydney Gibson; Yao Li 004; Bryan Parno; Chris Hawblitzel (VSTTE, 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 025 (IACR Cryptol. ePrint Arch., 2020)

Provably-Safe Multilingual Software Sandboxing using WebAssembly. - Jay Bosamiya; Wen Shih Lim; Bryan Parno (USENIX Security Symposium, 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)

Mariposa: Measuring SMT Instability in Automated Program Verification. - Yi Zhou 025; Jay Bosamiya; Yoshiki Takashima; Jessica Li; Marijn Heule; Bryan Parno (FMCAD, 2023)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. - Alexandra E. Michael; Anitha Gollamudi; Jay Bosamiya; Evan Johnson 001; Aidan Denlinger; Craig Disselkoen; Conrad Watt; Bryan Parno; Marco Patrignani; Marco Vassena; Deian Stefan (Proc. ACM Program. Lang., 2023)

A Framework for Debugging Automated Program Verification Proofs via Proof Actions. - Chanhee Cho; Yi Zhou 025; Jay Bosamiya; Bryan Parno (CAV (1), 2024)

Context Pruning for More Robust SMT-based Program Verification. - Yi Zhou 025; Jay Bosamiya; Jessica Li; Marijn J. H. Heule; Bryan Parno (FMCAD, 2024)

Verus: A Practical Foundation for Systems Verification. - Andrea Lattuada 001; Travis Hance; Jay Bosamiya; Matthias Brun 002; Chanhee Cho; Hayley LeBlanc; Pranav Srinivasan; Reto Achermann; Tej Chajed; Chris Hawblitzel; Jon Howell; Jacob R. Lorch; et al. (SOSP, 2024)

A Principled Approach towards Unapologetic Security - Jay Bosamiya (2024)