E-LIB Suche - Ergebnisse für: Watt, Conrad

1

Bringing the WebAssembly Standard up to Speed with SpecTec:

Youn, Dongjun ; Shin, Wonho ; Lee, Jaehyun...
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 1559-1584 , 2024

Link: https://doi.org/10.1145/..

2

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe C..:

Michael, Alexandra E. ; Gollamudi, Anitha ; Bosamiya, Jay...
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 425-454 , 2023

Link: https://doi.org/10.1145/..

3

Isolation without taxation: near-zero-cost transitions for ..:

Kolosick, Matthew ; Narayan, Shravan ; Johnson, Evan...
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-30 , 2022

Link: https://dl.acm.org/doi/1..

4

Isolation without taxation: near-zero-cost transitions for ..:

Kolosick, Matthew ; Narayan, Shravan ; Johnson, Evan...
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-30 , 2022

Link: https://doi.org/10.1145/..

5

Two Mechanisations of WebAssembly 1.0:

, In: Formal Methods; Lecture Notes in Computer Science,

Watt, Conrad ; Rao, Xiaojia ; Pichon-Pharabod, Jean.. - p. 61-79 , 2021

Link: https://doi.org/10.1007/..

6

Repairing and mechanising the JavaScript relaxed memory mod..:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,

Watt, Conrad ; Pulte, Christopher ; Podkopaev, Anton... - p. 346-361 , 2020

Link: https://dl.acm.org/doi/1..

7

Weakening WebAssembly:

Watt, Conrad ; Rossberg, Andreas ; Pichon-Pharabod, Jean
Proceedings of the ACM on Programming Languages. 3 (2019) OOPSLA - p. 1-28 , 2019

Link: https://dl.acm.org/doi/1..

8

Position Paper : Progressive Memory Safety for WebAssemb..:

, In: Proceedings of the 8th International Workshop on Hardware and Architectural Support for Security and Privacy,

Disselkoen, Craig ; Renner, John ; Watt, Conrad... - p. 1-8 , 2019

Link: https://dl.acm.org/doi/1..

9

CT-wasm: type-driven secure cryptography for the web ecosys..:

Watt, Conrad ; Renner, John ; Popescu, Natalie..
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-29 , 2019

Link: https://doi.org/10.1145/..

10

CT-wasm: type-driven secure cryptography for the web ecosys..:

Watt, Conrad ; Renner, John ; Popescu, Natalie..
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-29 , 2019

Link: https://dl.acm.org/doi/1..

11

Weakening WebAssembly:

Watt, Conrad ; Rossberg, Andreas ; Pichon-Pharabod, Jean
Proceedings of the ACM on Programming Languages. 3 (2019) OOPSLA - p. 1-28 , 2019

Link: https://doi.org/10.1145/..

12

Mechanising and verifying the WebAssembly specification:

, In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Watt, Conrad - p. 53-65 , 2018

Link: https://dl.acm.org/doi/1..

13

Capstone: A Capability-based Foundation for Trustless Secur..:

Yu, Jason Zhijingcheng ; Watt, Conrad ; Badole, Aditya..
http://arxiv.org/abs/2302.13863. , 2023

Link: http://arxiv.org/abs/230..

14

Wasm SpecTec: Engineering a Formal Language Standard:

Breitner, Joachim ; Gardner, Philippa ; Lee, Jaehyun...
http://arxiv.org/abs/2311.07223. , 2023

Link: http://arxiv.org/abs/231..

15

Iris-Wasm:Robust and Modular Verification of WebAssembly Pr..:

Rao, Xiaojia ; Georges, Aïna Linn ; Legoupil, Maxime...
Rao , X , Georges , A L , Legoupil , M , Watt , C , Pichon-Pharabod , J , Gardner , P & Birkedal , L 2023 , ' Iris-Wasm : Robust and Modular Verification of WebAssembly Programs ' , Proceedings of the ACM on Programming Languages , vol. 7 , 151 . https://doi.org/10.1145/3591265. , 2023

Link: https://pure.au.dk/porta..