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
SPLASH 2017 profile
SPLASH 2018 profile
Not registered as user yet
Name:
Robert N. M. Watson
Affiliation:
University of Cambridge
Contributions
PLARCH 2023
Author of Library-based Compartmentalisation on CHERI within the PLARCH 2023-track
REMS-DeepSpec 2020
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
POPL 2019
Author of Exploring C Semantics and Pointer Provenance within the Research Papers-track
PriSC 2019
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
OCAP 2018
Committee Member in Program Committee within the OCAP 2018-track
OCAP 2017
Committee Member in Program Committee within the OCAP 2017-track
PLDI 2016
Author of Into the depths of C: elaborating the de facto standards within the Research Papers-track
Share
x
Mon 5 Jun 06:12