Mads

Results: 333



#Item
11

Performance Regimes: A Critique and Agenda for Future Research Pre-conference session, PMRC 2016, 22 June, Aarhus University Sessions organizers: Martin Baekgaard, Aarhus University Mads Leth Felsager Jakobsen, Aarhus Un

Add to Reading List

Source URL: europe.wisc.edu

Language: English - Date: 2016-11-14 14:45:27
    12

    Follow My Recommendations: A Personalized Privacy Assistant for Mobile App Permissions Bin Liu,∗ Mads Schaarup Andersen, Florian Schaub, Hazim Almuhimedi Shikun Zhang, Norman Sadeh,∗ Alessandro Acquisti, Yuvraj Agarw

    Add to Reading List

    Source URL: www.synergylabs.org

    - Date: 2016-06-24 11:10:11
      13

      Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati KTH Royal Institute of Technology SE, Stockholm, Sweden

      Add to Reading List

      Source URL: prosper.sics.se

      - Date: 2013-10-17 09:26:32
        14

        ABS-NET: Fully Decentralized Runtime Adaptation for Distributed Objects Karl Palmskog Mads Dam

        Add to Reading List

        Source URL: www.cs.unibo.it

        - Date: 2013-06-01 06:43:41
          15

          2016 IEEE Symposium on Security and Privacy Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures Roberto Guanciale, Hamed Nemati, Christoph Baumann and Mads Dam Department of Computer Science

          Add to Reading List

          Source URL: www.ieee-security.org

          - Date: 2016-04-21 14:48:04
            16

            Title: Region-Based Memory Management1 Authors: Mads Tofte and Jean-Pierre Talpin Aliation: Mads Tofte: Department of Computer Science, University of Copenhagen Jean-Pierre Talpin: IRISA, Campus de Beaulieu, France An

            Add to Reading List

            Source URL: www.irisa.fr

            - Date: 2006-08-01 09:34:09
              17

              Roberto Guanciale Mads Dam Hamed Nemati Christoph Baumann Cache Storage

              Add to Reading List

              Source URL: www.ieee-security.org

              - Date: 2016-05-23 23:49:50
                18

                Time-Periodic Fluid Flows Mads Kyed Kassel University,Germany email: Lecture 1: Time-Periodic Navier-Stokes Equations.

                Add to Reading List

                Source URL: www.prague-sum.com

                - Date: 2014-05-07 05:01:31
                  19

                  The Definition of Standard ML Robin Milner Mads Tofte Robert Harper Laboratory for Foundations of Computer Science Department of Computer Science

                  Add to Reading List

                  Source URL: sml-family.org

                  - Date: 2016-04-04 09:33:37
                    20

                    RATE-DISTORTION EFFICIENT AMPLITUDE MODULATED SINUSOIDAL AUDIO CODING Mads Græsbøll Christensen Steven van de Par

                    Add to Reading List

                    Source URL: www.mp3-tech.org

                    - Date: 2009-06-28 10:44:36
                      UPDATE