publications:
- title: "The high-level benefits of low-level sandboxing"
  author:
  - name: "Michael Sammler"
    link: "https://researchr.org/alias/michael-sammler"
  - name: "Deepak Garg"
    link: "https://people.mpi-sws.org/~dg/"
  - name: "Derek Dreyer"
    link: "https://researchr.org/alias/derek-dreyer"
  - name: "Tadeusz Litak"
    link: "https://researchr.org/alias/tadeusz-litak"
  year: "2020"
  doi: "https://doi.org/10.1145/3371100"
  links:
    doi: "https://doi.org/10.1145/3371100"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/pacmpl/SammlerGDL20"
  researchr: "https://researchr.org/publication/SammlerGDL20"
  cites: 0
  citedby: 0
  journal: "PACMPL"
  volume: "4"
  number: "POPL"
  kind: "article"
  key: "SammlerGDL20"
- title: "Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation"
  author:
  - name: "Carmine Abate"
    link: "https://researchr.org/alias/carmine-abate"
  - name: "Roberto Blanco"
    link: "https://researchr.org/alias/roberto-blanco"
  - name: "Deepak Garg"
    link: "https://people.mpi-sws.org/~dg/"
  - name: "Catalin Hritcu"
    link: "https://researchr.org/alias/catalin-hritcu"
  - name: "Marco Patrignani"
    link: "https://researchr.org/alias/marco-patrignani"
  - name: "Jérémy Thibault"
    link: "https://researchr.org/alias/j%C3%A9r%C3%A9my-thibault"
  year: "2019"
  doi: "https://doi.org/10.1109/CSF.2019.00025"
  links:
    doi: "https://doi.org/10.1109/CSF.2019.00025"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/csfw/AbateB0HPT19"
  researchr: "https://researchr.org/publication/AbateB0HPT19"
  cites: 0
  citedby: 0
  pages: "256-271"
  booktitle: "csfw"
  kind: "inproceedings"
  key: "AbateB0HPT19"
- title: "From fine- to coarse-grained dynamic information flow control and back"
  author:
  - name: "Marco Vassena"
    link: "https://researchr.org/alias/marco-vassena"
  - name: "Alejandro Russo"
    link: "https://researchr.org/alias/alejandro-russo"
  - name: "Deepak Garg"
    link: "https://people.mpi-sws.org/~dg/"
  - name: "Vineet Rajani"
    link: "https://researchr.org/alias/vineet-rajani"
  - name: "Deian Stefan"
    link: "https://researchr.org/alias/deian-stefan"
  year: "2019"
  doi: "https://dl.acm.org/citation.cfm?id=3290389"
  links:
    doi: "https://dl.acm.org/citation.cfm?id=3290389"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/pacmpl/VassenaRGRS19"
  researchr: "https://researchr.org/publication/VassenaRGRS19"
  cites: 0
  citedby: 0
  journal: "PACMPL"
  volume: "3"
  kind: "article"
  key: "VassenaRGRS19"