( en | de | ru )

 

Disambiguation of "Bosamiya, Jay"

Author of the publication

copydeleteadd this publication to your clipboard
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.

, , , , , , , , , and . CoRR, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jay Jorgenson

Sylvain Jay

Klaus Jay

Emmanuel Jay

Jay Sherry

 

Other publications of authors with the same name

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code., , , , , , , , , and 1 other author(s). Proc. ACM Program. Lang., 7 (POPL): 425-454 (January 2023)Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language., , , , and . VSTTE, volume 12549 of Lecture Notes in Computer Science, page 106-123. Springer, (2020)Verus: A Practical Foundation for Systems Verification., , , , , , , , , and 4 other author(s). SOSP, page 438-454. ACM, (2024)Provably-Safe Multilingual Software Sandboxing using WebAssembly., , and . USENIX Security Symposium, page 1975-1992. USENIX Association, (2022)Mariposa: Measuring SMT Instability in Automated Program Verification., , , , , and . FMCAD, page 178-188. IEEE, (2023)A Framework for Debugging Automated Program Verification Proofs via Proof Actions., , , and . CAV (1), volume 14681 of Lecture Notes in Computer Science, page 348-361. Springer, (2024)A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer., , , , , , , , and . SP, page 1162-1178. IEEE, (2021)MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code., , , , , , , , , and . CoRR, (2022)CAPS: Smoothly Transitioning to a More Resilient Web PKI., , , , and . ACSAC, page 655-668. ACM, (2020)Script independent scene text segmentation using fast stroke width transform and GrabCut., , , and . ACPR, page 151-155. IEEE, (2015)