BibTeX record conf/osdi/HawblitzelHLNPZZ14

download as .bib file

@inproceedings{DBLP:conf/osdi/HawblitzelHLNPZZ14,
  author    = {Chris Hawblitzel and
               Jon Howell and
               Jacob R. Lorch and
               Arjun Narayan and
               Bryan Parno and
               Danfeng Zhang and
               Brian Zill},
  title     = {Ironclad Apps: End-to-End Security via Automated Full-System Verification},
  booktitle = {11th {USENIX} Symposium on Operating Systems Design and Implementation,
               {OSDI} '14, Broomfield, CO, USA, October 6-8, 2014},
  pages     = {165--181},
  year      = {2014},
  crossref  = {DBLP:conf/osdi/2014},
  url       = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/hawblitzel},
  timestamp = {Tue, 18 Nov 2014 17:21:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/osdi/HawblitzelHLNPZZ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/osdi/2014,
  editor    = {Jason Flinn and
               Hank Levy},
  title     = {11th {USENIX} Symposium on Operating Systems Design and Implementation,
               {OSDI} '14, Broomfield, CO, USA, October 6-8, 2014},
  publisher = {{USENIX} Association},
  year      = {2014},
  url       = {https://www.usenix.org/conference/osdi14},
  timestamp = {Tue, 18 Nov 2014 17:19:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/osdi/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics