Jay Bosamiya
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2020–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CAV | A Framework for Debugging Automated Program Verification Proofs via Proof Actions. | Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno |
| 2024 | FMCAD | Context Pruning for More Robust SMT-based Program Verification. | Yi Zhou, Jay Bosamiya, Jessica Li, Marijn J. H. Heule, Bryan Parno |
| 2024 | SOSP | 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 |
| 2023 | FMCAD | Mariposa: Measuring SMT Instability in Automated Program Verification. | Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno |
| 2021 | SP | A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. | Antoine Delignat-Lavaud, Cdric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou |
| 2020 | ACSAC | CAPS: Smoothly Transitioning to a More Resilient Web PKI. | Stephanos Matsumoto, Jay Bosamiya, Yucheng Dai, Paul C. van Oorschot, Bryan Parno |