Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang. Nickel: A Framework for Design and Verification of Information Flow Control Systems. In Andrea C. Arpaci-Dusseau, Geoff Voelker, editors, 13th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2018, Carlsbad, CA, USA, October 8-10, 2018. pages 287-305, USENIX Association, 2018. [doi]
@inproceedings{Sigurbjarnarson18,
title = {Nickel: A Framework for Design and Verification of Information Flow Control Systems},
author = {Helgi Sigurbjarnarson and Luke Nelson and Bruno Castro-Karney and James Bornholt and Emina Torlak and Xi Wang},
year = {2018},
url = {https://www.usenix.org/conference/osdi18/presentation/sigurbjarnarson},
researchr = {https://researchr.org/publication/Sigurbjarnarson18},
cites = {0},
citedby = {0},
pages = {287-305},
booktitle = {13th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2018, Carlsbad, CA, USA, October 8-10, 2018},
editor = {Andrea C. Arpaci-Dusseau and Geoff Voelker},
publisher = {USENIX Association},
}