1![Fault-Resilient Non-interference Extended Version Filippo Del Tedesco David Sands, Alejandro Russo Fault-Resilient Non-interference Extended Version Filippo Del Tedesco David Sands, Alejandro Russo](https://www.pdfsearch.io/img/0c9924c07e78ef5d8271d2295e3be1bd.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2016-07-14 14:07:58
|
---|
2![Independence and Decision-Contexts for Non-Interference Conditionals∗ Michael Franke Institute for Logic, Language and Computation Universiteit van Amsterdam Independence and Decision-Contexts for Non-Interference Conditionals∗ Michael Franke Institute for Logic, Language and Computation Universiteit van Amsterdam](https://www.pdfsearch.io/img/303e03d0b05ab422000d53da9a6dd44a.jpg) | Add to Reading ListSource URL: www.home.uni-osnabrueck.deLanguage: English - Date: 2018-04-18 07:39:41
|
---|
3![Mixed Messages: Measuring Conformance and Non-Interference in TypeScript Jack Williams1 , J. Garrett Morris2 , Philip Wadler3 , and Jakub Zalewski4 1 2 Mixed Messages: Measuring Conformance and Non-Interference in TypeScript Jack Williams1 , J. Garrett Morris2 , Philip Wadler3 , and Jakub Zalewski4 1 2](https://www.pdfsearch.io/img/9c5bd8c481af4fb610b1b1efea1dcd5f.jpg) | Add to Reading ListSource URL: ittc.ku.eduLanguage: English - Date: 2018-08-09 09:26:26
|
---|
4![Non-interference in partial order models B´eatrice B´erard Lo¨ıc H´elou¨et John Mullins Non-interference in partial order models B´eatrice B´erard Lo¨ıc H´elou¨et John Mullins](https://www.pdfsearch.io/img/740835cc976f1319d082644bf5cddc9e.jpg) | Add to Reading ListSource URL: people.rennes.inria.frLanguage: English - Date: 2016-01-20 15:59:48
|
---|
5![Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference Hiroshi Unno Naoki Kobayashi](https://www.pdfsearch.io/img/573ebe549b275040e300203258572c65.jpg) | Add to Reading ListSource URL: www.cs.tsukuba.ac.jpLanguage: English - Date: 2011-06-15 23:12:41
|
---|
6![A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous University of Utah A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous University of Utah](https://www.pdfsearch.io/img/5482fafa24eada4f5fbe20a6cdf04e18.jpg) | Add to Reading ListSource URL: spw16.langsec.orgLanguage: English - Date: 2016-06-05 23:38:28
|
---|
7![A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous and Matthew Might University of Utah A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous and Matthew Might University of Utah](https://www.pdfsearch.io/img/03a2e50cd9d74b7b389a10bec62aa3e5.jpg) | Add to Reading ListSource URL: spw16.langsec.orgLanguage: English - Date: 2016-06-05 23:40:02
|
---|
8![CGC/CBG meeting Epigenetics and non‐coding RNAs 10 & 11 November 2011 CGC/CBG meeting Epigenetics and non‐coding RNAs 10 & 11 November 2011](https://www.pdfsearch.io/img/e9bb11b3e753f06c0ba09abda3c0ed5a.jpg) | Add to Reading ListSource URL: www.cancergenomics.nlLanguage: English - Date: 2011-12-29 06:21:36
|
---|
9![Peanuts ® A Biotechnical Newsletter Peanuts ® A Biotechnical Newsletter](https://www.pdfsearch.io/img/8bd77fe089a099ee6fa3ae6873087f86.jpg) | Add to Reading ListSource URL: www.zymoresearch.comLanguage: English - Date: 2016-03-28 13:12:58
|
---|
10![Hammell et alFigure 3 Hammell et alFigure 3](https://www.pdfsearch.io/img/e790fdc87a7a1ede62e61b8f013aaa66.jpg) | Add to Reading ListSource URL: blackwellweb.joslin.harvard.eduLanguage: English - Date: 2009-05-08 16:15:26
|
---|