BibTeX record conf/osdi/Sigurbjarnarson18

• > Home > conf/osdi/Sigurbjarnarson18

@inproceedings{DBLP:conf/osdi/Sigurbjarnarson18,
  author       = {Helgi Sigurbjarnarson and
                  Luke Nelson and
                  Bruno Castro{-}Karney and
                  James Bornholt and
                  Emina Torlak and
                  Xi Wang},
  editor       = {Andrea C. Arpaci{-}Dusseau and
                  Geoff Voelker},
  title        = {Nickel: {A} Framework for Design and Verification of Information Flow
                  Control Systems},
  booktitle    = {13th {USENIX} Symposium on Operating Systems Design and Implementation,
                  {OSDI} 2018, Carlsbad, CA, USA, October 8-10, 2018},
  pages        = {287--305},
  publisher    = {{USENIX} Association},
  year         = {2018},
  url          = {https://www.usenix.org/conference/osdi18/presentation/sigurbjarnarson},
  timestamp    = {Tue, 02 Feb 2021 08:06:02 +0100},
  biburl       = {https://dblp.org/rec/conf/osdi/Sigurbjarnarson18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}