Not registered as user yet
Name:Robert N. M. Watson
Affiliation:University of Cambridge
Contributions
| POPL 2019 | Exploring C Semantics and Pointer Provenance | ||||||||||||||||||||||||||||||||||||||||
| PriSC 2019 | Protecting C++ Applications Using CHERI Secure Linking in the CheriBSD Operating System | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile