A Trusted Mechanised Specification of JavaScript: One Year On. - Philippa Gardner; Gareth Smith; Conrad Watt; Thomas Wood 001 (CAV (1), 2015)

Mechanising and verifying the WebAssembly specification. - Conrad Watt (CPP, 2018)

WebAssembly. - Conrad Watt (Arch. Formal Proofs, 2018)

A Program Logic for First-Order Encapsulated WebAssembly. - Conrad Watt; Petar Maksimovic 001; Neelakantan R. Krishnaswami; Philippa Gardner (ECOOP, 2019)

Position Paper: Progressive Memory Safety for WebAssembly. - Craig Disselkoen; John Renner; Conrad Watt; Tal Garfinkel; Amit Levy; Deian Stefan (HASP@ISCA, 2019)

Weakening WebAssembly. - Conrad Watt; Andreas Rossberg; Jean Pichon-Pharabod (Proc. ACM Program. Lang., 2019)

CT-wasm: type-driven secure cryptography for the web ecosystem. - Conrad Watt; John Renner; Natalie Popescu; Sunjay Cauligi; Deian Stefan (Proc. ACM Program. Lang., 2019)

Repairing and mechanising the JavaScript relaxed memory model. - Conrad Watt; Christopher Pulte; Anton Podkopaev; Guillaume Barbier; Stephen Dolan; Shaked Flur; Jean Pichon-Pharabod; Shu-yu Guo (PLDI, 2020)

Two Mechanisations of WebAssembly 1.0. - Conrad Watt; Xiaojia Rao; Jean Pichon-Pharabod; Martin Bodin; Philippa Gardner (FM, 2021)

Isolation Without Taxation: Near Zero Cost Transitions for SFI. - Matthew Kolosick; Shravan Narayan; Conrad Watt; Michael LeMay; Deepak Garg 001; Ranjit Jhala; Deian Stefan (CoRR, 2021)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. - Alexandra E. Michael; Anitha Gollamudi; Jay Bosamiya; Craig Disselkoen; Aidan Denlinger; Conrad Watt; Bryan Parno; Marco Patrignani; Marco Vassena; Deian Stefan (CoRR, 2022)

Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI. - Matthew Kolosick; Shravan Narayan; Evan Johnson 001; Conrad Watt; Michael LeMay; Deepak Garg 001; Ranjit Jhala; Deian Stefan (Proc. ACM Program. Lang., 2022)

Capstone: A Capability-based Foundation for Trustless Secure Memory Access. - Jason Zhijingcheng Yu; Conrad Watt; Aditya Badole; Trevor E. Carlson; Prateek Saxena (USENIX Security Symposium, 2023)

Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version). - Jason Zhijingcheng Yu; Conrad Watt; Aditya Badole; Trevor E. Carlson; Prateek Saxena (CoRR, 2023)

Wasm SpecTec: Engineering a Formal Language Standard. - Joachim Breitner; Philippa Gardner; Jaehyun Lee; Sam Lindley; Matija Pretnar; Xiaojia Rao; Andreas Rossberg; Sukyoung Ryu; Wonho Shin; Conrad Watt; Dongjun Youn (CoRR, 2023)

Iris-Wasm: Robust and Modular Verification of WebAssembly Programs. - Xiaojia Rao; Aïna Linn Georges; Maxime Legoupil; Conrad Watt; Jean Pichon-Pharabod; Philippa Gardner; Lars Birkedal (Proc. ACM Program. Lang., 2023)

WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly. - Conrad Watt; Maja Trela; Peter Lammich; Florian Märkl (Proc. ACM Program. Lang., 2023)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. - Alexandra E. Michael; Anitha Gollamudi; Jay Bosamiya; Evan Johnson 001; Aidan Denlinger; Craig Disselkoen; Conrad Watt; Bryan Parno; Marco Patrignani; Marco Vassena; Deian Stefan (Proc. ACM Program. Lang., 2023)

Bringing the WebAssembly Standard up to Speed with SpecTec. - Dongjun Youn; Wonho Shin; Jaehyun Lee; Sukyoung Ryu; Joachim Breitner; Philippa Gardner; Sam Lindley; Matija Pretnar; Xiaojia Rao; Conrad Watt; Andreas Rossberg (Proc. ACM Program. Lang., 2024)

Progressful Interpreters for Efficient WebAssembly Mechanisation. - Xiaojia Rao; Stefan Radziuk; Conrad Watt; Philippa Gardner (Proc. ACM Program. Lang., 2025)

Generically Automating Separation Logic by Functors, Homomorphisms, and Modules. - Qiyuan Xu; David Sanán; Zhe Hou; Xiaokun Luan; Conrad Watt; Yang Liu 003 (Proc. ACM Program. Lang., 2025)

Concurrency in WebAssembly: Experiments in the web and beyond. - Conrad Watt (ACM Queue, 2025)

IsaMini: Redesigned Isabelle Proof Lanugage for Machine Learning. - Qiyuan Xu; Renxi Wang; Haonan Li; David Sanán; Conrad Watt (CoRR, 2025)