A Messy State of the Union: Taming the Composite State Machines of TLS (bibtex)
by Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue
Reference:
A Messy State of the Union: Taming the Composite State Machines of TLS (Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue), In IEEE Symposium on Security & Privacy (Oakland), 2015. (Distinguished Paper Award)
Bibtex Entry:
@InProceedings{messy-state,
  title = {A Messy State of the Union: Taming the Composite State Machines of TLS},
  booktitle = {IEEE Symposium on Security \& Privacy (Oakland)},
  year = 2015,
  url       = {pubs/messy-state-of-the-union-oakland15.pdf},
  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},
  note="Distinguished Paper Award"
}