Non-interference

Results: 253



#Item
1Fault-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

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2016-07-14 14:07:58
    2Independence 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

    Add to Reading List

    Source URL: www.home.uni-osnabrueck.de

    Language: English - Date: 2018-04-18 07:39:41
      3Mixed 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

      Add to Reading List

      Source URL: ittc.ku.edu

      Language: English - Date: 2018-08-09 09:26:26
        4Non-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

        Add to Reading List

        Source URL: people.rennes.inria.fr

        Language: English - Date: 2016-01-20 15:59:48
          5Combining 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

          Add to Reading List

          Source URL: www.cs.tsukuba.ac.jp

          Language: English - Date: 2011-06-15 23:12:41
            6A 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

            Add to Reading List

            Source URL: spw16.langsec.org

            Language: English - Date: 2016-06-05 23:38:28
            7A 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

            Add to Reading List

            Source URL: spw16.langsec.org

            Language: 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 

            Add to Reading List

            Source URL: www.cancergenomics.nl

            Language: English - Date: 2011-12-29 06:21:36
            9Peanuts  ® A Biotechnical Newsletter

            Peanuts ® A Biotechnical Newsletter

            Add to Reading List

            Source URL: www.zymoresearch.com

            Language: English - Date: 2016-03-28 13:12:58
            10Hammell et alFigure 3

            Hammell et alFigure 3

            Add to Reading List

            Source URL: blackwellweb.joslin.harvard.edu

            Language: English - Date: 2009-05-08 16:15:26