A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. Antoine Delignat-Lavaud, Cedric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, and Yi Zhou. To Appear in Proceedings of the IEEE Symposium on Security and Privacy, May, 2021.
CAPS: Smoothly Transitioning to a More Resilient Web PKI. Stephanos Matsumoto, Jay Bosamiya, Yucheng Dai, Paul Oorschot, and Bryan Parno. To Appear in Proceedings of the ACSA 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, and Chris Hawblitzel. In Proceedings of the Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), July, 2020. [pdf]