@inproceedings{DBLP:conf/sp/BeurdoucheBDFKP15,
  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},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/sp/BeurdoucheBDFKP15.bib},
  booktitle = {2015 {IEEE} Symposium on Security and Privacy, {SP}
2015, San Jose, CA, USA, May 17-21, 2015},
  doi = {10.1109/SP.2015.39},
  isbn = {978-1-4673-6949-7},
  pages = {535--552},
  publisher = {{IEEE} Computer Society},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  title = {A Messy State of the Union: Taming the Composite
State Machines of {TLS}},
  url = {https://doi.org/10.1109/SP.2015.39},
  year = {2015}
}

{"_id":"ASMZCYaWPNRrHhopb","bibbaseid":"beurdouche-bhargavan-delignatlavaud-fournet-kohlweiss-pironti-strub-zinzindohoue-amessystateoftheuniontamingthecompositestatemachinesoftls-2015","downloads":0,"creationDate":"2016-06-21T10:07:36.346Z","title":"A Messy State of the Union: Taming the Composite State Machines of TLS","author_short":["Beurdouche, B.","Bhargavan, K.","Delignat-Lavaud, A.","Fournet, C.","Kohlweiss, M.","Pironti, A.","Strub, P.","Zinzindohoue, J. K."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.strub.nu/biblio/strub.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Benjamin"],"propositions":[],"lastnames":["Beurdouche"],"suffixes":[]},{"firstnames":["Karthikeyan"],"propositions":[],"lastnames":["Bhargavan"],"suffixes":[]},{"firstnames":["Antoine"],"propositions":[],"lastnames":["Delignat-Lavaud"],"suffixes":[]},{"firstnames":["Cédric"],"propositions":[],"lastnames":["Fournet"],"suffixes":[]},{"firstnames":["Markulf"],"propositions":[],"lastnames":["Kohlweiss"],"suffixes":[]},{"firstnames":["Alfredo"],"propositions":[],"lastnames":["Pironti"],"suffixes":[]},{"firstnames":["Pierre-Yves"],"propositions":[],"lastnames":["Strub"],"suffixes":[]},{"firstnames":["Jean","Karim"],"propositions":[],"lastnames":["Zinzindohoue"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/sp/BeurdoucheBDFKP15.bib","booktitle":"2015 IEEE Symposium on Security and Privacy, SP 2015, San Jose, CA, USA, May 17-21, 2015","doi":"10.1109/SP.2015.39","isbn":"978-1-4673-6949-7","pages":"535–552","publisher":"IEEE Computer Society","timestamp":"Wed, 16 Oct 2019 14:14:51 +0200","title":"A Messy State of the Union: Taming the Composite State Machines of TLS","url":"https://doi.org/10.1109/SP.2015.39","year":"2015","bibtex":"@inproceedings{DBLP:conf/sp/BeurdoucheBDFKP15,\n author = {Benjamin Beurdouche and Karthikeyan Bhargavan and\nAntoine Delignat{-}Lavaud and C{\\'{e}}dric Fournet and\nMarkulf Kohlweiss and Alfredo Pironti and\nPierre{-}Yves Strub and Jean Karim Zinzindohoue},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/sp/BeurdoucheBDFKP15.bib},\n booktitle = {2015 {IEEE} Symposium on Security and Privacy, {SP}\n2015, San Jose, CA, USA, May 17-21, 2015},\n doi = {10.1109/SP.2015.39},\n isbn = {978-1-4673-6949-7},\n pages = {535--552},\n publisher = {{IEEE} Computer Society},\n timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},\n title = {A Messy State of the Union: Taming the Composite\nState Machines of {TLS}},\n url = {https://doi.org/10.1109/SP.2015.39},\n year = {2015}\n}\n\n","author_short":["Beurdouche, B.","Bhargavan, K.","Delignat-Lavaud, A.","Fournet, C.","Kohlweiss, M.","Pironti, A.","Strub, P.","Zinzindohoue, J. K."],"key":"DBLP:conf/sp/BeurdoucheBDFKP15","id":"DBLP:conf/sp/BeurdoucheBDFKP15","bibbaseid":"beurdouche-bhargavan-delignatlavaud-fournet-kohlweiss-pironti-strub-zinzindohoue-amessystateoftheuniontamingthecompositestatemachinesoftls-2015","role":"author","urls":{"Paper":"https://doi.org/10.1109/SP.2015.39"},"metadata":{"authorlinks":{"strub, p":"https://www.strub.nu/"}},"downloads":0,"html":""},"search_terms":["messy","state","union","taming","composite","state","machines","tls","beurdouche","bhargavan","delignat-lavaud","fournet","kohlweiss","pironti","strub","zinzindohoue"],"keywords":[],"authorIDs":["EC8a7TQ86pYAoBS7y"],"dataSources":["q4vBTsWpxooqz6FoB"]}