BibTeX record conf/cav/BackesBBBCGJLMM20

download as .bib file

@inproceedings{DBLP:conf/cav/BackesBBBCGJLMM20,
  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