BibTeX record journals/cacm/BeurdoucheBDFKP17

download as .bib file

@article{DBLP:journals/cacm/BeurdoucheBDFKP17,
  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
               {TLS}},
  journal   = {Commun. {ACM}},
  volume    = {60},
  number    = {2},
  pages     = {99--107},
  year      = {2017},
  url       = {https://doi.org/10.1145/3023357},
  doi       = {10.1145/3023357},
  timestamp = {Tue, 06 Nov 2018 12:51:42 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cacm/BeurdoucheBDFKP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier