%0 Journal Article %1 noauthororeditor %A et al., Liang Gu %D 2013 %K certikos %T CertiKOS: A Certified Kernel for Secure Cloud Computing

@article{noauthororeditor, added-at = {2017-06-25T23:14:34.000+0200}, author = {et al., Liang Gu}, biburl = {https://www.bibsonomy.org/bibtex/2c4fbc137c11e9e7a6582735f720ee2ea/hernan}, description = {apsys11-ck.pdf}, interhash = {92e58541a1d3625d2ec5bb394abbf5f1}, intrahash = {c4fbc137c11e9e7a6582735f720ee2ea}, keywords = {certikos}, timestamp = {2017-06-25T23:14:34.000+0200}, title = {CertiKOS: A Certified Kernel for Secure Cloud Computing}, year = 2013 }