Search for persons
X
?
Proceedings of the Second Asia-Pacific Workshop on Systems ,
1
CertiKOS : a certified kernel for secure cloud computing:
, In:
?
Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
2
Certified self-modifying code:
, In:
?
Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
5