Jay Bosamiya

Senior Researcher

论文与出版物

查看方式：

- TRex: Practical Type Reconstruction for Binary Code
  
  Jay Bosamiya, Maverick Woo, Bryan Parno
  
  USENIX Security Symposium | August 2025
  
  PDF Publication
- Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust
  
  Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich, Bryan Parno
  
  USENIX Security Symposium | August 2025
  
  PDF 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 项目
- Context Pruning for More Robust SMT-based Program Verification
  
  Yi Zhou, Jay Bosamiya, Jessica Li, Marijn Heule, Bryan Parno
  
  Formal Methods in Computer-Aided Design (FMCAD) | October 2024
  
  DOI Publication
- 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
  
  博士论文：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 项目
- 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

- TRex: Practical Type Reconstruction for Binary Code
  
  Jay Bosamiya, Maverick Woo, Bryan Parno
  
  USENIX Security Symposium | August 2025
  
  PDF Publication
- Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust
  
  Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich, Bryan Parno
  
  USENIX Security Symposium | August 2025
  
  PDF Publication
- A Principled Approach Towards Unapologetic Security
  
  Jay Bosamiya
  
  May 2024
  
  博士论文：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 项目
- 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
- Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust
  
  Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich, Bryan Parno
  
  USENIX Security Symposium | August 2025
  
  PDF 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 项目
- Context Pruning for More Robust SMT-based Program Verification
  
  Yi Zhou, Jay Bosamiya, Jessica Li, Marijn Heule, Bryan Parno
  
  Formal Methods in Computer-Aided Design (FMCAD) | October 2024
  
  DOI Publication
- 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
  
  博士论文：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 项目
- A Principled Approach Towards Unapologetic Security
  
  Jay Bosamiya
  
  May 2024
  
  博士论文：Carnegie Mellon University | May 2024
  
  DOI Publication

- TRex: Practical Type Reconstruction for Binary Code
  
  Jay Bosamiya, Maverick Woo, Bryan Parno
  
  USENIX Security Symposium | August 2025
  
  PDF Publication
- Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust
  
  Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich, Bryan Parno
  
  USENIX Security Symposium | August 2025
  
  PDF 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 项目
- Context Pruning for More Robust SMT-based Program Verification
  
  Yi Zhou, Jay Bosamiya, Jessica Li, Marijn Heule, Bryan Parno
  
  Formal Methods in Computer-Aided Design (FMCAD) | October 2024
  
  DOI Publication
- 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 项目
- 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
  
  博士论文：Carnegie Mellon University | May 2024
  
  DOI Publication

Jay Bosamiya

论文与出版物

TRex: Practical Type Reconstruction for Binary Code

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

Verus: A Practical Foundation for Systems Verification

Context Pruning for More Robust SMT-based Program 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

TRex: Practical Type Reconstruction for Binary Code

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

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

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

Verus: A Practical Foundation for Systems Verification

Context Pruning for More Robust SMT-based Program 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

TRex: Practical Type Reconstruction for Binary Code

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

Verus: A Practical Foundation for Systems Verification

Context Pruning for More Robust SMT-based Program 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