Nickel: A Framework for Design and Verification of Information Flow Control Systems. - Helgi Sigurbjarnarson; Luke Nelson; Bruno Castro-Karney; James Bornholt; Emina Torlak; Xi Wang 005 (OSDI, 2018)