Jay Bosamiya

Senior Researcher

Publications

View by:

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, Jay Lorch, Oded Padon, Bryan Parno

2024 Symposium on Operating Systems Principles | November 2024

Distinguished Artifact Award

Publication Project

A Framework for Debugging Automated Program Verification Proofs via Proof Actions

Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno

International Conference on Computer Aided Verification (CAV) | July 2024

Distinguished Paper Award

Publication

A Principled Approach Towards Unapologetic Security

Jay Bosamiya

May 2024

PhD Thesis: Carnegie Mellon University | May 2024

DOI Publication
Mariposa: Measuring SMT Instability in Automated Program Verification

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

Formal Methods in Computer-Aided Design (FMCAD) | October 2023

DOI Author's Version Publication

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

Principles of Programming Languages (POPL) | January 2023

DOI Preprint Publication
Provably-Safe Multilingual Software Sandboxing using WebAssembly

Jay Bosamiya, Wen Shih Lim, Bryan Parno

USENIX Security Symposium | August 2022

Distinguished Paper Award and Internet Defense Prize

Publication
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

IEEE Symposium on Security and Privacy | May 2021

Publication Project
CAPS: Smoothly Transitioning to a More Resilient Web PKI

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

Annual Computer Security Applications Conference (ACSAC) | December 2020

DOI

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

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

Verified Software: Theories, Tools, Experiments (VSTTE) | July 2020

PDF

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, Jay Lorch, Oded Padon, Bryan Parno

2024 Symposium on Operating Systems Principles | November 2024

Distinguished Artifact Award

Publication Project

A Framework for Debugging Automated Program Verification Proofs via Proof Actions

Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno

International Conference on Computer Aided Verification (CAV) | July 2024

Distinguished Paper Award

Publication

A Principled Approach Towards Unapologetic Security

Jay Bosamiya

May 2024

PhD Thesis: Carnegie Mellon University | May 2024

DOI Publication

Mariposa: Measuring SMT Instability in Automated Program Verification

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

Formal Methods in Computer-Aided Design (FMCAD) | October 2023

DOI Author's Version Publication

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

Principles of Programming Languages (POPL) | January 2023

DOI Preprint Publication
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, Jay Lorch, Oded Padon, Bryan Parno

2024 Symposium on Operating Systems Principles | November 2024

Distinguished Artifact Award

Publication Project

A Principled Approach Towards Unapologetic Security

Jay Bosamiya

May 2024

PhD Thesis: Carnegie Mellon University | May 2024

DOI Publication
A Principled Approach Towards Unapologetic Security

Jay Bosamiya

May 2024

PhD Thesis: Carnegie Mellon University | May 2024

DOI Publication

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

Principles of Programming Languages (POPL) | January 2023

DOI Preprint Publication

Provably-Safe Multilingual Software Sandboxing using WebAssembly

Jay Bosamiya, Wen Shih Lim, Bryan Parno

USENIX Security Symposium | August 2022

Distinguished Paper Award and Internet Defense Prize

Publication

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

IEEE Symposium on Security and Privacy | May 2021

Publication Project

CAPS: Smoothly Transitioning to a More Resilient Web PKI

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

Annual Computer Security Applications Conference (ACSAC) | December 2020

DOI

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

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

Verified Software: Theories, Tools, Experiments (VSTTE) | July 2020

PDF

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, Jay Lorch, Oded Padon, Bryan Parno

2024 Symposium on Operating Systems Principles | November 2024

Distinguished Artifact Award

Publication Project

A Framework for Debugging Automated Program Verification Proofs via Proof Actions

Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno

International Conference on Computer Aided Verification (CAV) | July 2024

Distinguished Paper Award

Publication

Mariposa: Measuring SMT Instability in Automated Program Verification

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

Formal Methods in Computer-Aided Design (FMCAD) | October 2023

DOI Author's Version Publication

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

Principles of Programming Languages (POPL) | January 2023

DOI Preprint Publication

Provably-Safe Multilingual Software Sandboxing using WebAssembly

Jay Bosamiya, Wen Shih Lim, Bryan Parno

USENIX Security Symposium | August 2022

Distinguished Paper Award and Internet Defense Prize

Publication

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

IEEE Symposium on Security and Privacy | May 2021

Publication Project

CAPS: Smoothly Transitioning to a More Resilient Web PKI

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

Annual Computer Security Applications Conference (ACSAC) | December 2020

DOI

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

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

Verified Software: Theories, Tools, Experiments (VSTTE) | July 2020

PDF
A Principled Approach Towards Unapologetic Security

Jay Bosamiya

May 2024

PhD Thesis: Carnegie Mellon University | May 2024

DOI Publication

Jay Bosamiya

Publications

Verus: A Practical Foundation for Systems Verification

A Framework for Debugging Automated Program Verification Proofs via Proof Actions

A Principled Approach Towards Unapologetic Security

Mariposa: Measuring SMT Instability in Automated Program Verification

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code

Provably-Safe Multilingual Software Sandboxing using WebAssembly

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

CAPS: Smoothly Transitioning to a More Resilient Web PKI

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

Verus: A Practical Foundation for Systems Verification

A Framework for Debugging Automated Program Verification Proofs via Proof Actions

A Principled Approach Towards Unapologetic Security

Mariposa: Measuring SMT Instability in Automated Program Verification

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code

Verus: A Practical Foundation for Systems Verification

A Principled Approach Towards Unapologetic Security

A Principled Approach Towards Unapologetic Security

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code

Provably-Safe Multilingual Software Sandboxing using WebAssembly

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

CAPS: Smoothly Transitioning to a More Resilient Web PKI

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

Verus: A Practical Foundation for Systems Verification

A Framework for Debugging Automated Program Verification Proofs via Proof Actions

Mariposa: Measuring SMT Instability in Automated Program Verification

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code

Provably-Safe Multilingual Software Sandboxing using WebAssembly

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

CAPS: Smoothly Transitioning to a More Resilient Web PKI

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

A Principled Approach Towards Unapologetic Security

Contact Jay Bosamiya

Microsoft Research Lab – Redmond

Jay Bosamiya

Publications

Publications by Year

2024

2023

2022

2021

2020

Publications by Research Area

Programming languages and software engineering

Systems and networking

Security, privacy, and cryptography

Publications by Type

Inproceedings (Conference)

Ph.D Thesis