First Page | Document Content | |
---|---|---|
Date: 2018-09-27 23:32:05Formal 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 WashingtonAdd to Reading ListSource URL: unsat.cs.washington.eduDownload Document from Source WebsiteFile Size: 408,14 KBShare Document on Facebook |
Fault-Resilient Non-interference Extended Version Filippo Del Tedesco David Sands, Alejandro RussoDocID: 1uXNO - View Document | |
Independence and Decision-Contexts for Non-Interference Conditionals∗ Michael Franke Institute for Logic, Language and Computation Universiteit van AmsterdamDocID: 1uckP - View Document | |
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript Jack Williams1 , J. Garrett Morris2 , Philip Wadler3 , and Jakub Zalewski4 1 2DocID: 1u76M - View Document | |
Non-interference in partial order models B´eatrice B´erard Lo¨ıc H´elou¨et John MullinsDocID: 1u3ki - View Document | |
Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki KobayashiDocID: 1tYF5 - View Document |