Chalmers

Results: 1415



#Item
271

Precise Enforcement of Confidentiality for Reactive Systems Dante Zanarini, Mauro Jaskelioff CIFASIS – CONICET Universidad Nacional de Rosario {zanarini, jaskelioff}@cifasis-conicet.gov.ar

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2013-05-02 12:59:00
    272

    Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems Deian Stefan1 Alejandro Russo2

    Add to Reading List

    Source URL: www.cse.chalmers.se

    Language: English - Date: 2012-07-01 21:57:45
      273

      HLIO: Mixing Static and Dynamic Typing for Information-Flow Control in Haskell Pablo Buiras Dimitrios Vytiniotis

      Add to Reading List

      Source URL: www.cse.chalmers.se

      Language: English - Date: 2015-06-26 17:56:57
        274

        Abstract Interpretation & Symbolic Execution Reiner H¨ahnle joint work with: Richard Bubel (Chalmers), Benjamin Weiss (KIT)

        Add to Reading List

        Source URL: flov.gu.se

        Language: English - Date: 2010-11-23 05:59:29
          275

          A Library for Removing Cache-based Attacks in Concurrent Information Flow Systems Extended Version Pablo Buiras1 , Amit Levy2 , Deian Stefan2 , Alejandro Russo1 , and David Mazi`eres2 1

          Add to Reading List

          Source URL: www.cse.chalmers.se

          Language: English - Date: 2013-08-05 06:28:09
            276

            Secure Multi-Execution in Haskell Mauro Jaskelioff and Alejandro Russo 1 2

            Add to Reading List

            Source URL: www.cse.chalmers.se

            Language: English - Date: 2011-04-27 17:50:35
              277

              Security of Multithreaded Programs by Compilation Gilles Barthe IMDEA Software, Madrid, Spain and Tamara Rezk Inria Sophia Antipolis and MSR-INRIA, France

              Add to Reading List

              Source URL: www.cse.chalmers.se

              Language: English - Date: 2009-07-27 08:31:59
                278

                Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming Cezar Ionescu Patrik Jansson

                Add to Reading List

                Source URL: www.cse.chalmers.se

                Language: English - Date: 2015-09-19 16:40:40
                  279

                  UITP 2003 Preliminary Version Taclets and the KeY Prover Martin Giese Chalmers University of Technology Department of Computing Science

                  Add to Reading List

                  Source URL: www.informatik.uni-bremen.de

                  Language: English - Date: 2008-02-15 04:25:19
                    280

                    Graphical_Markov_Models_Nanny_Wermuth.dvi

                    Add to Reading List

                    Source URL: www.math.chalmers.se

                    Language: English - Date: 2012-12-21 13:41:46
                      UPDATE