David Mazières

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Alejandro Russo

> Home > Persons > David Mazières

Publications

2017
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/GiffinLSTMMR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/GiffinLSTMMR17
Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazières, John C. Mitchell, Alejandro Russo:
Hails: Protecting data privacy in untrusted web applications. J. Comput. Secur. 25(4-5): 427-461 (2017)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/StefanMMR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/StefanMMR17
Deian Stefan, David Mazières, John C. Mitchell, Alejandro Russo:
Flexible dynamic information flow control in the presence of exceptions. J. Funct. Program. 27: e5 (2017)
2014
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/StefanLRM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/StefanLRM14
Deian Stefan, Amit Levy, Alejandro Russo, David Mazières:
Building secure systems with LIO (demo). Haskell 2014: 93-94
[c60]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/osdi/StefanYMRHKM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/StefanYMRHKM14
Deian Stefan, Edward Z. Yang, Petr Marchenko, Alejandro Russo, David Herman, Brad Karp, David Mazières:
Protecting Users by Confining JavaScript with COWL. OSDI 2014: 131-146
2013
[c56]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/StefanBYLTRM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/StefanBYLTRM13
Deian Stefan, Pablo Buiras, Edward Z. Yang, Amit Levy, David Terei, Alejandro Russo, David Mazières:
Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling. ESORICS 2013: 718-735
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/BuirasLSRM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/BuirasLSRM13
Pablo Buiras, Amit Levy, Deian Stefan, Alejandro Russo, David Mazières:
A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems. TGC 2013: 199-216
2012
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/StefanRBLMM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/StefanRBLMM12
Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell, David Mazières:
Addressing covert termination and timing channels in concurrent information flow systems. ICFP 2012: 201-214
[c46]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/osdi/GiffinLSTMMR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/GiffinLSTMMR12
Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazières, John C. Mitchell, Alejandro Russo:
Hails: Protecting Data Privacy in Untrusted Web Applications. OSDI 2012: 47-60
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1207-1457
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-1457
Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières:
Flexible Dynamic Information Flow Control in the Presence of Exceptions. CoRR abs/1207.1457 (2012)
2011
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/StefanRMM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/StefanRMM11
Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières:
Flexible dynamic information flow control in Haskell. Haskell 2011: 95-106
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/nordsec/StefanRMM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nordsec/StefanRMM11
Deian Stefan, Alejandro Russo, David Mazières, John C. Mitchell:
Disjunction Category Labels. NordSec 2011: 223-239

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.