Conrad Watt

Mechanising and verifying the WebAssembly specification

Conrad Watt · 2018 · 59 citations · Full text

Webassembly Specification, Engineering, Verification +22

CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem

Conrad Watt, John W. Renner, Natalie Popescu et al. · Apollo (University of Cambridge) · 2019 · 59 citations · Full text

Cryptographic Primitive, Engineering, Information Security +20

Position Paper

Craig Disselkoen, John W. Renner, Conrad Watt et al. · 2019 · 32 citations

High-level Programming Language, Engineering, Program Analysis +13

Weakening WebAssembly

Conrad Watt, Andreas Rossberg, Jean Pichon-Pharabod · Proceedings of the ACM on Programming Languages · 2019 · 29 citations · Full text

Engineering, Computer Architecture, Axiomatic Model +16

Bringing the WebAssembly Standard up to Speed with SpecTec

Dongjun Youn, Wonho Shin, J. J. Lee et al. · Proceedings of the ACM on Programming Languages · 2024 · 23 citations · Full text

Engineering, Hardware Verification Language, Software Systems +26