TRex: Practical Type Reconstruction for Binary Code
Jay Bosamiya, Maverick Woo, Bryan Parno
USENIX Security Symposium | August 2025
Jay Bosamiya, Maverick Woo, Bryan Parno
USENIX Security Symposium | August 2025
Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich, Bryan Parno
USENIX Security Symposium | August 2025
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
Yi Zhou, Jay Bosamiya, Jessica Li, Marijn Heule, Bryan Parno
Formal Methods in Computer-Aided Design (FMCAD) | October 2024
Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno
International Conference on Computer Aided Verification (CAV) | July 2024
Distinguished Paper Award
May 2024
博士论文:Carnegie Mellon University | May 2024
Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno
Formal Methods in Computer-Aided Design (FMCAD) | October 2023
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
Jay Bosamiya, Wen Shih Lim, Bryan Parno
USENIX Security Symposium | August 2022
Distinguished Paper Award and Internet Defense Prize
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
Stephanos Matsumoto, Jay Bosamiya, Yucheng Dai, Paul van Oorschot, Bryan Parno
Annual Computer Security Applications Conference (ACSAC) | December 2020
Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel
Verified Software: Theories, Tools, Experiments (VSTTE) | July 2020
Jay Bosamiya, Maverick Woo, Bryan Parno
USENIX Security Symposium | August 2025
Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich, Bryan Parno
USENIX Security Symposium | August 2025
May 2024
博士论文:Carnegie Mellon University | May 2024
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
Jay Bosamiya, Wen Shih Lim, Bryan Parno
USENIX Security Symposium | August 2022
Distinguished Paper Award and Internet Defense Prize
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
Stephanos Matsumoto, Jay Bosamiya, Yucheng Dai, Paul van Oorschot, Bryan Parno
Annual Computer Security Applications Conference (ACSAC) | December 2020
Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel
Verified Software: Theories, Tools, Experiments (VSTTE) | July 2020
Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich, Bryan Parno
USENIX Security Symposium | August 2025
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
Yi Zhou, Jay Bosamiya, Jessica Li, Marijn Heule, Bryan Parno
Formal Methods in Computer-Aided Design (FMCAD) | October 2024
Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno
International Conference on Computer Aided Verification (CAV) | July 2024
Distinguished Paper Award
May 2024
博士论文:Carnegie Mellon University | May 2024
Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno
Formal Methods in Computer-Aided Design (FMCAD) | October 2023
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
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
May 2024
博士论文:Carnegie Mellon University | May 2024
Jay Bosamiya, Maverick Woo, Bryan Parno
USENIX Security Symposium | August 2025
Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich, Bryan Parno
USENIX Security Symposium | August 2025
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
Yi Zhou, Jay Bosamiya, Jessica Li, Marijn Heule, Bryan Parno
Formal Methods in Computer-Aided Design (FMCAD) | October 2024
Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno
International Conference on Computer Aided Verification (CAV) | July 2024
Distinguished Paper Award
Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno
Formal Methods in Computer-Aided Design (FMCAD) | October 2023
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
Jay Bosamiya, Wen Shih Lim, Bryan Parno
USENIX Security Symposium | August 2022
Distinguished Paper Award and Internet Defense Prize
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
Stephanos Matsumoto, Jay Bosamiya, Yucheng Dai, Paul van Oorschot, Bryan Parno
Annual Computer Security Applications Conference (ACSAC) | December 2020
Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel
Verified Software: Theories, Tools, Experiments (VSTTE) | July 2020
May 2024
博士论文:Carnegie Mellon University | May 2024