| A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer A Delignat-Lavaud, C Fournet, B Parno, J Protzenko, T Ramananandro, ... 2021 IEEE Symposium on Security and Privacy (SP), 1162-1178, 2021 | 24 | 2021 |
| Provably-Safe Multilingual Software Sandboxing using WebAssembly J Bosamiya, WS Lim, B Parno 31st USENIX Security Symposium (USENIX Security 22), 1975-1992, 2022 | 23 | 2022 |
| Script independent scene text segmentation using fast stroke width transform and GrabCut JH Bosamiya, P Agrawal, PP Roy, R Balasubramanian 2015 3rd IAPR Asian Conference on Pattern Recognition (ACPR), 151-155, 2015 | 18 | 2015 |
| MSWasm: Soundly Enforcing Memory-safe Execution of Unsafe Code AE Michael, A Gollamudi, J Bosamiya, E Johnson, A Denlinger, ... Proceedings of the ACM Symposium on Programming Languages 7 (POPL), 425-454, 2023 | 14 | 2023 |
| Verified transformations and Hoare logic: Beautiful proofs for ugly assembly language J Bosamiya, S Gibson, Y Li, B Parno, C Hawblitzel Software Verification: 12th International Conference, VSTTE 2020, and 13th …, 2020 | 8 | 2020 |
| WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing J Bosamiya, B Lim, B Parno PriSC, 2020 | 5 | 2020 |
| CAPS: Smoothly Transitioning to a More Resilient Web PKI S Matsumoto, J Bosamiya, Y Dai, P van Oorschot, B Parno Proceedings of the 36th Annual Computer Security Applications Conference …, 2020 | 2 | 2020 |
| Mariposa: Measuring SMT Instability in Automated Program Verification (Technical Report) Y Zhou, J Bosamiya, Y Takashima, J Li, M Heule, B Parno Carnegie Mellon University, 2023 | 1 | 2023 |
| Mariposa: Measuring SMT Instability in Automated Program Verification Y Zhou, J Bosamiya, Y Takashima, J Li, M Heule, B Parno Formal Methods in Computer-Aided Design (FMCAD), 2023 | | 2023 |
