BibTeX records: Daniel Brim

download as .bib file

  author    = {John Backes and
               Ulises Berrueco and
               Tyler Bray and
               Daniel Brim and
               Byron Cook and
               Andrew Gacek and
               Ranjit Jhala and
               Kasper S{\o}e Luckow and
               Sean McLaughlin and
               Madhav Menon and
               Daniel Peebles and
               Ujjwal Pugalia and
               Neha Rungta and
               Cole Schlesinger and
               Adam Schodde and
               Anvesh Tanuku and
               Carsten Varming and
               Deepa Viswanathan},
  title     = {Stratified Abstraction of Access Control Policies},
  booktitle = {{CAV} {(1)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12224},
  pages     = {165--176},
  publisher = {Springer},
  year      = {2020}
a service of Schloss Dagstuhl - Leibniz Center for Informatics