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