BibTeX record conf/cav/BackesBBBCGJLMM20

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},
  editor    = {Shuvendu K. Lahiri and
               Chao Wang},
  title     = {Stratified Abstraction of Access Control Policies},
  booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
               2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12224},
  pages     = {165--176},
  publisher = {Springer},
  year      = {2020},
  url       = {\_9},
  doi       = {10.1007/978-3-030-53288-8\_9},
  timestamp = {Wed, 12 Aug 2020 15:15:43 +0200},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics