( en | de | ru )

 

Disambiguation of "Watt, Conrad"

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.

Nicola Watt

Simone Watt

Helga Schutte Watt

Klaus Wattenberg

Otto Watter

 

Other publications of authors with the same name

Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI., , , , , , , and . Proc. ACM Program. Lang., 6 (POPL): 1-30 (2022)MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code., , , , , , , , , and 1 other author(s). Proc. ACM Program. Lang., 7 (POPL): 425-454 (January 2023)Progressful Interpreters for Efficient WebAssembly Mechanisation., , , and . Proc. ACM Program. Lang., 9 (POPL): 627-655 (2025)Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version)., , , , and . CoRR, (2023)Capstone: A Capability-based Foundation for Trustless Secure Memory Access., , , , and . USENIX Security Symposium, page 787-804. USENIX Association, (2023)Mechanising and verifying the WebAssembly specification.. CPP, page 53-65. ACM, (2018)Iris-Wasm: Robust and Modular Verification of WebAssembly Programs., , , , , , and . Proc. ACM Program. Lang., 7 (PLDI): 1096-1120 (2023)Position Paper: Progressive Memory Safety for WebAssembly., , , , , and . HASP@ISCA, page 4:1-4:8. ACM, (2019)Wasm SpecTec: Engineering a Formal Language Standard., , , , , , , , , and 1 other author(s). CoRR, (2023)Isolation Without Taxation: Near Zero Cost Transitions for SFI., , , , , , and . CoRR, (2021)