Jay Bosamiya

Senior Researcher

Papiers de Collaboration

Afficher par:

- 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 Projet
- 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
  
  Thèse de doctorat : 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 Projet
- 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 Projet
- 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
  
  Thèse de doctorat : 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 Projet
- A Principled Approach Towards Unapologetic Security
  
  Jay Bosamiya
  
  May 2024
  
  Thèse de doctorat : Carnegie Mellon University | May 2024
  
  DOI Publication
- A Principled Approach Towards Unapologetic Security
  
  Jay Bosamiya
  
  May 2024
  
  Thèse de doctorat : 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 Projet
- 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 Projet
- 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 Projet
- 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
  
  Thèse de doctorat : Carnegie Mellon University | May 2024
  
  DOI Publication