AI Agents Can Defeat Security by Obscurity for Rowhammer Defenses
Stefan Saroiu, Alec Wolman, Jay Bosamiya, Adam Grenzebach, Victor Bahl
Workshop on DRAM Security (DRAMSec) | June 2026
Jay Bosamiya
Senior Researcher
Publications
-
-
-
Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
D. Ahman, Karthik Bhargavan, Barry Bond, Jay Bosamiya, Chris Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Aymeric Fromherz, Sydney Gibson, Chris Hawblitzel, Cătălin Hrițcu, Markulf Kohlweiss, Guido Martínez, Haobin Ni, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Exequiel Rivas, Nikhil Swamy, Santiago Zanella-Béguelin
PLDI 2026 | April 2026
-
-
-
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, Jacob R Lorch, Oded Padon, Bryan Parno
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
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
-
-
-
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
-
-
-
AI Agents Can Defeat Security by Obscurity for Rowhammer Defenses
Stefan Saroiu, Alec Wolman, Jay Bosamiya, Adam Grenzebach, Victor Bahl
Workshop on DRAM Security (DRAMSec) | June 2026
-
Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
D. Ahman, Karthik Bhargavan, Barry Bond, Jay Bosamiya, Chris Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Aymeric Fromherz, Sydney Gibson, Chris Hawblitzel, Cătălin Hrițcu, Markulf Kohlweiss, Guido Martínez, Haobin Ni, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Exequiel Rivas, Nikhil Swamy, Santiago Zanella-Béguelin
PLDI 2026 | April 2026
-
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
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
-
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
-
-
-
AI Agents Can Defeat Security by Obscurity for Rowhammer Defenses
Stefan Saroiu, Alec Wolman, Jay Bosamiya, Adam Grenzebach, Victor Bahl
Workshop on DRAM Security (DRAMSec) | June 2026
-
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, Jacob R Lorch, Oded Padon, Bryan Parno
Symposium on Operating Systems Principles | November 2024
Distinguished Artifact Award
-
A Principled Approach Towards Unapologetic Security
May 2024
PhD Thesis: Carnegie Mellon University | May 2024
-
-
-
Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
D. Ahman, Karthik Bhargavan, Barry Bond, Jay Bosamiya, Chris Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Aymeric Fromherz, Sydney Gibson, Chris Hawblitzel, Cătălin Hrițcu, Markulf Kohlweiss, Guido Martínez, Haobin Ni, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Exequiel Rivas, Nikhil Swamy, Santiago Zanella-Béguelin
PLDI 2026 | April 2026
-
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, Jacob R Lorch, Oded Padon, Bryan Parno
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
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
-
-
-
AI Agents Can Defeat Security by Obscurity for Rowhammer Defenses
Stefan Saroiu, Alec Wolman, Jay Bosamiya, Adam Grenzebach, Victor Bahl
Workshop on DRAM Security (DRAMSec) | June 2026
-
Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
D. Ahman, Karthik Bhargavan, Barry Bond, Jay Bosamiya, Chris Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Aymeric Fromherz, Sydney Gibson, Chris Hawblitzel, Cătălin Hrițcu, Markulf Kohlweiss, Guido Martínez, Haobin Ni, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Exequiel Rivas, Nikhil Swamy, Santiago Zanella-Béguelin
PLDI 2026 | April 2026
-
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, Jacob R Lorch, Oded Padon, Bryan Parno
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
PhD Thesis: Carnegie Mellon University | May 2024
-