( en | de | ru )

 

Disambiguierung von "Watt, Conrad"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.

, , , , , , , , , und . CoRR, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Nicola Watt

Simone Watt

Helga Schutte Watt

Sabine Wattendorff

Bärbel Watta

 

Weitere Publikationen von Autoren mit dem selben Namen

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