Nickel: A Framework for Design and Verification of Information Flow Control Systems

TitleNickel: A Framework for Design and Verification of Information Flow Control Systems
Publication TypeConference Paper
Year of Publication2018
AuthorsSigurbjarnarson H, Nelson L, Castro-Karney B, Bornholt J, Torlak E, Wang X
Conference Name13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)
Date Published10/2018
PublisherUSENIX Association
Conference LocationCarlsbad, CA
ISBN Number978-1-939133-08-3
URLhttp://www.usenix.org/conference/osdi18/presentation/sigurbjarnarson