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 University of Washington

First Page		Document Content
Date: 2018-09-27 23:32:05 Formal methods Software engineering Computing Logic in computer science Non-interference Exception handling Formal verification Refinement Thread Futures and promises Covert channel Application programming interface		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 University of Washington Add to Reading List Source URL: unsat.cs.washington.edu Download Document from Source Website File Size: 408,14 KB Share Document on Facebook

	Fault-Resilient Non-interference Extended Version Filippo Del Tedesco David Sands, Alejandro Russo DocID: 1uXNO - View Document
	Independence and Decision-Contexts for Non-Interference Conditionals∗ Michael Franke Institute for Logic, Language and Computation Universiteit van Amsterdam DocID: 1uckP - View Document
	Mixed Messages: Measuring Conformance and Non-Interference in TypeScript Jack Williams1 , J. Garrett Morris2 , Philip Wadler3 , and Jakub Zalewski4 1 2 DocID: 1u76M - View Document
	Non-interference in partial order models B´eatrice B´erard Lo¨ıc H´elou¨et John Mullins DocID: 1u3ki - View Document
	Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi DocID: 1tYF5 - View Document