Jay Bosamiya

Orcid: 0000-0002-5596-6828

Affiliations:

Carnegie Mellon University, PA, USA

According to our database¹, Jay Bosamiya authored at least 8 papers between 2015 and 2023.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

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

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., January, 2023

Mariposa: Measuring SMT Instability in Automated Program Verification.

[BibT_eX]

[DOI]

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

2022

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

[BibT_eX]

[DOI]

CoRR, 2022

Provably-Safe Multilingual Software Sandboxing using WebAssembly.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Antoine Delignat-Lavaud

IACR Cryptol. ePrint Arch., 2020

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

[BibT_eX]

[DOI]

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

CAPS: Smoothly Transitioning to a More Resilient Web PKI.

[BibT_eX]

[DOI]

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

2015

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

[BibT_eX]

[DOI]

Jay H. Bosamiya

Palash Agrawal

Partha Pratim Roy

Raman Balasubramanian

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

Jay Bosamiya

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...