Jay Bosamiya

14 papers A* 5A 1B 2Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
TRex: Practical Type Reconstruction for Binary Code.
USENIX Security Symposium
Jay Bosamiya, Maverick Woo, Bryan Parno
2025 A* conf
Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust.
USENIX Security Symposium
Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich, Bryan Parno
2024 — conf
A Framework for Debugging Automated Program Verification Proofs via Proof Actions.
CAV (1)
Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno
2024 — —
A Principled Approach towards Unapologetic Security
Jay Bosamiya
2024 B conf
Context Pruning for More Robust SMT-based Program Verification.
FMCAD
Yi Zhou, Jay Bosamiya, Jessica Li, Marijn J. H. Heule, Bryan Parno
2024 A* conf
Verus: A Practical Foundation for Systems Verification.
SOSP
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
2023 J jnl
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.
Proc. ACM Program. Lang.
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
2023 B conf
Mariposa: Measuring SMT Instability in Automated Program Verification.
FMCAD
Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno
2022 J jnl
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.
CoRR
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Craig Disselkoen, Aidan Denlinger, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
2022 A* conf
Provably-Safe Multilingual Software Sandboxing using WebAssembly.
USENIX Security Symposium
Jay Bosamiya, Wen Shih Lim, Bryan Parno
2021 A* conf
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.
SP
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
2020 J jnl
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.
IACR Cryptol. ePrint Arch.
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
2020 A conf
CAPS: Smoothly Transitioning to a More Resilient Web PKI.
ACSAC
Stephanos Matsumoto, Jay Bosamiya, Yucheng Dai, Paul C. van Oorschot, Bryan Parno
2020 — conf
Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language.
VSTTE
Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel