Jay Bosamiya

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 9

Top Topics

Automated Theorem Provers

Distributed Shared Memory

Top Venues

Proc. ACM Program. Lang.

IEEE Symposium on Security and Privacy

Publications

Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno
A Framework for Debugging Automated Program Verification Proofs via Proof Actions. CAV (1) (2024)
Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno
Mariposa: Measuring SMT Instability in Automated Program Verification. FMCAD (2023)
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. Proc. ACM Program. Lang. 7 (POPL) (2023)
Alexandra E. Michael, Anitha Gollamudi, Jay Bosamiya, Craig Disselkoen, Aidan Denlinger, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, Deian Stefan
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. CoRR (2022)
Jay Bosamiya, Wen Shih Lim, Bryan Parno
Provably-Safe Multilingual Software Sandboxing using WebAssembly. USENIX Security Symposium (2022)
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. IEEE Symposium on Security and Privacy (2021)
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. IACR Cryptol. ePrint Arch. 2020 (2020)
Stephanos Matsumoto, Jay Bosamiya, Yucheng Dai, Paul C. van Oorschot, Bryan Parno
CAPS: Smoothly Transitioning to a More Resilient Web PKI. ACSAC (2020)
Jay Bosamiya, Sydney Gibson, Yao Li, Bryan Parno, Chris Hawblitzel
Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language. VSTTE (2020)