%0 Conference Paper %1 conf/osdi/GuSCWKSC16 %A Gu, Ronghui %A Shao, Zhong %A Chen, Hao %A Wu, Xiongnan (Newman) %A Kim, Jieung %A Sjöberg, Vilhelm %A Costanzo, David %B OSDI %D 2016 %E Keeton, Kimberly %E Roscoe, Timothy %I USENIX Association %K dblp %P 653-669 %T CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. %U http://dblp.uni-trier.de/db/conf/osdi/osdi2016.html#GuSCWKSC16

@inproceedings{conf/osdi/GuSCWKSC16, added-at = {2023-01-09T00:00:00.000+0100}, author = {Gu, Ronghui and Shao, Zhong and Chen, Hao and Wu, Xiongnan (Newman) and Kim, Jieung and Sjöberg, Vilhelm and Costanzo, David}, biburl = {https://www.bibsonomy.org/bibtex/2f131249c5a9dfc44d74ae97a4ebafecc/dblp}, booktitle = {OSDI}, crossref = {conf/osdi/2016}, editor = {Keeton, Kimberly and Roscoe, Timothy}, ee = {http://dl.acm.org/citation.cfm?id=3026928}, interhash = {a02058deffe34ba05e42078cdad39897}, intrahash = {f131249c5a9dfc44d74ae97a4ebafecc}, keywords = {dblp}, pages = {653-669}, publisher = {USENIX Association}, timestamp = {2024-04-09T21:10:32.000+0200}, title = {CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels.}, url = {http://dblp.uni-trier.de/db/conf/osdi/osdi2016.html#GuSCWKSC16}, year = 2016 }