BibTeX record conf/sp/BeurdoucheBDFKP15

download as .bib file

  author    = {Benjamin Beurdouche and
               Karthikeyan Bhargavan and
               Antoine Delignat{-}Lavaud and
               C{\'{e}}dric Fournet and
               Markulf Kohlweiss and
               Alfredo Pironti and
               Pierre{-}Yves Strub and
               Jean Karim Zinzindohoue},
  title     = {A Messy State of the Union: Taming the Composite State Machines of
  booktitle = {{IEEE} Symposium on Security and Privacy},
  pages     = {535--552},
  publisher = {{IEEE} Computer Society},
  year      = {2015}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics