Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Robert N. M. Watson
conf.researchr.org general profile
PLDI 2016 profile
PLDI 2020 profile
PLDI 2023 profile
POPL 2019 profile
POPL 2024 profile
SPLASH 2017 profile
SPLASH 2018 profile
Not registered as user yet
Name:
Robert N. M. Watson
Affiliation:
University of Cambridge
Contributions
2024
POCL
Author of The state of Morello and CHERI within the POCL 2024-track
Committee Member in Organizing Committee within the POCL 2024-track
2023
PLARCH
Author of Library-based Compartmentalisation on CHERI within the PLARCH 2023-track
2020
DeepSpec
Author of Rigorous modelling and proof for system security engineering: verifying whole-ISA security properties of CHERI-{MIPS,RISC-V,ARM} within the REMS-DeepSpec 2020-track
2019
POPL
Author of Exploring C Semantics and Pointer Provenance within the Research Papers-track
PriSC
Author of Protecting C++ Applications Using CHERI within the PriSC 2019-track
Author of Secure Linking in the CheriBSD Operating System within the PriSC 2019-track
2018
OCAP
Committee Member in Program Committee within the OCAP 2018-track
2017
OCAP
Committee Member in Program Committee within the OCAP 2017-track
2016
PLDI
Author of Into the depths of C: elaborating the de facto standards within the Research Papers-track
Share
x
Tue 3 Dec 18:05