A Principled Approach Towards Unapologetic Security
May 2024
PhD Thesis: Carnegie Mellon University | May 2024
Jay Bosamiya
Senior Researcher
Publications
Publications by Year
-
-
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
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
-
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
-
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
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
Publications by Research Area
-
A Principled Approach Towards Unapologetic Security
May 2024
PhD Thesis: Carnegie Mellon University | May 2024
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
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
-
A Principled Approach Towards Unapologetic Security
May 2024
PhD Thesis: Carnegie Mellon University | May 2024
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
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
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
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
-
A Principled Approach Towards Unapologetic Security
May 2024
PhD Thesis: Carnegie Mellon University | May 2024
Publications by Type
-
A Principled Approach Towards Unapologetic Security
May 2024
PhD Thesis: Carnegie Mellon University | May 2024
-
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
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
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
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
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