@inproceedings {222549, author = {Helgi Sigurbjarnarson and Luke Nelson and Bruno Castro-Karney and James Bornholt and Emina Torlak and Xi Wang}, title = {Nickel: A Framework for Design and Verification of Information Flow Control Systems}, booktitle = {13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)}, year = {2018}, isbn = {978-1-939133-08-3}, address = {Carlsbad, CA}, pages = {287--305}, url = {http://www.usenix.org/conference/osdi18/presentation/sigurbjarnarson}, publisher = {USENIX Association}, month = oct }