Conrad Watt

Orcid: 0000-0002-0596-877X

According to our database1, Conrad Watt authored at least 19 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Bringing the WebAssembly Standard up to Speed with SpecTec.
Proc. ACM Program. Lang., 2024

2023
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.
Proc. ACM Program. Lang., January, 2023

WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly.
Proc. ACM Program. Lang., 2023

Iris-Wasm: Robust and Modular Verification of WebAssembly Programs.
Proc. ACM Program. Lang., 2023

Wasm SpecTec: Engineering a Formal Language Standard.
CoRR, 2023

Capstone: A Capability-based Foundation for Trustless Secure Memory Access (Extended Version).
CoRR, 2023

Capstone: A Capability-based Foundation for Trustless Secure Memory Access.
Proceedings of the 32nd USENIX Security Symposium, 2023

2022
Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI.
Proc. ACM Program. Lang., 2022

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.
CoRR, 2022

2021
Isolation Without Taxation: Near Zero Cost Transitions for SFI.
CoRR, 2021

Two Mechanisations of WebAssembly 1.0.
Proceedings of the Formal Methods - 24th International Symposium, 2021

2020
Repairing and mechanising the JavaScript relaxed memory model.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019
CT-wasm: type-driven secure cryptography for the web ecosystem.
Proc. ACM Program. Lang., 2019

Weakening WebAssembly.
Proc. ACM Program. Lang., 2019

Position Paper: Progressive Memory Safety for WebAssembly.
Proceedings of the 8th International Workshop on Hardware and Architectural Support for Security and Privacy, 2019

A Program Logic for First-Order Encapsulated WebAssembly.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018
WebAssembly.
Arch. Formal Proofs, 2018

Mechanising and verifying the WebAssembly specification.
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2015
A Trusted Mechanised Specification of JavaScript: One Year On.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015


  Loading...