TRex: Practical Type Reconstruction for Binary Code
Jay Bosamiya, Maverick Woo, Bryan Parno
USENIX Security Symposium | August 2025
Jay Bosamiya
Senior Researcher
Publications
-
-
-
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
-
-
-
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
-
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
-
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
-
A Principled Approach Towards Unapologetic Security
May 2024
Thèse de doctorat : 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
-
-
-
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
-
-
-
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
-
-
-
TRex: Practical Type Reconstruction for Binary Code
Jay Bosamiya, Maverick Woo, Bryan Parno
USENIX Security Symposium | August 2025
-
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
-
A Principled Approach Towards Unapologetic Security
May 2024
Thèse de doctorat : 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
-
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
-
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
-
-
-
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
-
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
-
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
-
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
-
A Principled Approach Towards Unapologetic Security
May 2024
Thèse de doctorat : 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
-
-
-
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
-
A Principled Approach Towards Unapologetic Security
May 2024
Thèse de doctorat : Carnegie Mellon University | May 2024
-
-
-
TRex: Practical Type Reconstruction for Binary Code
Jay Bosamiya, Maverick Woo, Bryan Parno
USENIX Security Symposium | August 2025
-
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
-
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
-
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
-
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
-
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
-
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
-
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
Thèse de doctorat : Carnegie Mellon University | May 2024
-