Search for persons
X
?
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1 ,
3
Formal Mechanised Semantics of CHERI C: Capabilities, Undef..:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
4
Verified Security for the Morello Capability-enhanced Proto..:
, In:
?
2020 IEEE Symposium on Security and Privacy (SP) ,
5