Registered user since Tue 13 Nov 2018
Name:Alexander Richardson
Affiliation:University of Cambridge
Research interests:Security
Contributions
POPL 2019 | Exploring C Semantics and Pointer Provenance | ||||||||||||||||||||||||||||||||||||||||
PriSC 2019 | Secure Linking in the CheriBSD Operating System Protecting C++ Applications Using CHERI | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2019-profile
View general profile
View general profile