BibTeX record conf/apsys/GuVFSC11

download as .bib file

@inproceedings{DBLP:conf/apsys/GuVFSC11,
  author       = {Liang Gu and
                  Alexander Vaynberg and
                  Bryan Ford and
                  Zhong Shao and
                  David Costanzo},
  editor       = {Haibo Chen and
                  Zheng Zhang and
                  Sue Moon and
                  Yuanyuan Zhou},
  title        = {CertiKOS: a certified kernel for secure cloud computing},
  booktitle    = {APSys '11 Asia Pacific Workshop on Systems, Shanghai, China, July
                  11-12, 2011},
  pages        = {3},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2103799.2103803},
  doi          = {10.1145/2103799.2103803},
  timestamp    = {Thu, 14 Oct 2021 10:09:47 +0200},
  biburl       = {https://dblp.org/rec/conf/apsys/GuVFSC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics