Chalmers

Results: 1415



#Item
251

Flexible Dynamic Information Flow Control in Haskell Extended Version Deian Stefan1 Alejandro Russo2

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2011-07-18 04:36:59
    252

    On-the-fly Inlining of Dynamic Security Monitors Jonas Magazinius Alejandro Russo Andrei Sabelfeld

    Add to Reading List

    Source URL: www.cse.chalmers.se

    Language: English - Date: 2011-12-21 09:59:31
      253

      Fault-Tolerant Non-interference Extended Version Filippo Del Tedesco, Alejandro Russo, and David Sands Chalmers University of Technology, Sweden Abstract. This paper is about ensuring security in unreliable systems. We

      Add to Reading List

      Source URL: www.cse.chalmers.se

      Language: English - Date: 2014-03-01 20:19:01
        254

        Data Exfiltration in the Face of CSP Steven Van Acker Daniel Hausknecht Andrei Sabelfeld

        Add to Reading List

        Source URL: www.cse.chalmers.se

        Language: English - Date: 2016-03-09 05:52:32
          255

          May I? - Content Security Policy Endorsement for Browser Extensions Daniel Hausknecht1 , Jonas Magazinius1,2,3 , and Andrei Sabelfeld1 1 Chalmers University of Technology

          Add to Reading List

          Source URL: www.cse.chalmers.se

          Language: English - Date: 2015-04-21 10:00:15
            256Multimodal interaction / Design / Usability / Sound / Humancomputer interaction / Software prototyping / Interaction design / Microsoft / Prototype / Ubiquitous computing / User interface / Music

            Music co-creation in public spaces via interactive coffee tables Robert Fohlin, Peter Kun, Laura Rebolo, Markus Jansson, Niels Swinkels Department of Applied IT Chalmers University of TechnologyGothenburg, Sweden

            Add to Reading List

            Source URL: publications.lib.chalmers.se

            Language: English - Date: 2013-04-03 09:58:55
            257

            IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version)

            Add to Reading List

            Source URL: www.cse.chalmers.se

            Language: English - Date: 2015-01-16 23:00:34
              258

              Functional Pearl: Two Can Keep a Secret, If One of Them Uses Haskell ∗ Alejandro Russo †

              Add to Reading List

              Source URL: www.cse.chalmers.se

              Language: English - Date: 2015-07-10 13:23:45
                259

                Hails: Protecting Data Privacy in Untrusted Web Applications Daniel B. Giffin, Amit Levy, Deian Stefan David Terei, David Mazi`eres, John C. Mitchell Stanford Abstract

                Add to Reading List

                Source URL: www.cse.chalmers.se

                Language: English - Date: 2012-09-10 10:20:29
                  260

                  A Library for Removing Cache-based Attacks in Concurrent Information Flow Systems 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-01 14:05:16
                    UPDATE