Concepedia

Conrad Watt

CW

Statistics

Publications

10

Citations

286

H-Index

10

Active since

2018

Affiliations

University of Cambridge(Current)

University of California San Diego

Imperial College London

Max Planck Institute for Software Systems

Conrad Watt is an author at University of Cambridge specializing in computing, computer science, and programming languages.

Publications per year

2018–2024

10

Publications

10

Mechanising and verifying the WebAssembly specification

Conrad Watt · 2018 · 59 citations · Full text

Computing, Computer Science, Formal Methods +11

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

Computing, Computer Science, Cybersecurity +14

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

Computing, Computer Engineering, Computer Science +16

Weakening WebAssembly

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

Computing, Computer Engineering, Computer Science +15

Bringing the WebAssembly Standard up to Speed with SpecTec

Dongjun Youn, Wonho Shin, Sukyoung Ryu et al. · Proceedings of the ACM on Programming Languages · 2024 · 27 citations · Full text

Computing, Computer Engineering, Computer Science +16

1–5 of 10