Mechanising and Verifying the WebAssembly Specification C Watt Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018 | 108 | 2018 |
CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem C Watt, J Renner, N Popescu, S Cauligi, D Stefan Proceedings of the ACM on Programming Languages (POPL), 2019, 2019 | 92 | 2019 |
Position Paper: Progressive Memory Safety for WebAssembly C Disselkoen, J Renner, C Watt, T Garfinkel, A Levy, D Stefan Proceedings of the 8th International Workshop on Hardware and Architectural …, 2019 | 44 | 2019 |
Weakening WebAssembly C Watt, A Rossberg, J Pichon-Pharabod Proceedings of the ACM on Programming Languages 3 (OOPSLA), 133, 2019 | 35 | 2019 |
Repairing and mechanising the JavaScript relaxed memory model C Watt, C Pulte, A Podkopaev, G Barbier, S Dolan, S Flur, ... PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming …, 2020 | 24 | 2020 |
Two Mechanisations of WebAssembly 1.0 C Watt, X Rao, J Pichon-Pharabod, M Bodin, P Gardner Formal Methods 2021, 2021 | 20 | 2021 |
Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI M Kolosick, S Narayan, E Johnson, C Watt, M LeMay, D Garg, R Jhala, ... Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022 | 16 | 2022 |
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code AE Michael, A Gollamudi, J Bosamiya, C Disselkoen, A Denlinger, C Watt, ... Principles of Programming Languages 2023, 2023 | 14 | 2023 |
A Program Logic for First-Order Encapsulated WebAssembly C Watt, P Maksimović, NR Krishnaswami, P Gardner ECOOP 2019, 2019 | 14 | 2019 |
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs X Rao, AL Georges, M Legoupil, C Watt, J Pichon-Pharabod, P Gardner, ... Proceedings of the 44th ACM SIGPLAN International Conference on Programming …, 2023 | 13 | 2023 |
A Trusted Mechanised Specification of JavaScript: One Year On P Gardner, G Smith, C Watt, T Wood International Conference on Computer Aided Verification, 3-10, 2015 | 10 | 2015 |
WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly C Watt, M Trela, P Lammich, F Märkl Proceedings of the ACM on Programming Languages 7 (PLDI), 100-123, 2023 | 5 | 2023 |
CAPSTONE: A Capability-based Foundation for Trustless Secure Memory Access JZ Yu, C Watt, A Badole, TE Carlson, P Saxena | 4* | 2023 |
Mechanising and evolving the formal semantics of WebAssembly: the Web's new low-level language C Watt University of Cambridge, 2021 | | 2021 |
WebAssembly C Watt Archive of Formal Proofs, 2018 | | 2018 |