Conrad Watt
Conrad Watt
Email confirmado em cl.cam.ac.uk - Página inicial
Título
Citado por
Citado por
Ano
Mechanising and Verifying the WebAssembly Specification
C Watt
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
542018
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
362019
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
172019
Weakening WebAssembly
C Watt, A Rossberg, J Pichon-Pharabod
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 133, 2019
142019
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
72020
A Program Logic for First-Order Encapsulated WebAssembly
C Watt, P Maksimović, NR Krishnaswami, P Gardner
arXiv preprint arXiv:1811.03479, 2018
52018
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
22015
Isolation Without Taxation: Near Zero Cost Transitions for SFI
M Kolosick, S Narayan, C Watt, M LeMay, D Garg, R Jhala, D Stefan
arXiv e-prints, arXiv: 2105.00033, 2021
2021
WebAssembly
C Watt
Archive of Formal Proofs, 2018
2018
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–9