A Messy State of the Union: Taming the Composite State Machines of TLS (bibtex)
by Beurdouche, Benjamin, Bhargavan, Karthikeyan, Delignat-Lavaud, Antoine, Fournet, Cédric, Kohlweiss, Markulf, Pironti, Alfredo, Strub, Pierre-Yves and Zinzindohoue, Jean Karim
Reference:
A Messy State of the Union: Taming the Composite State Machines of TLS (Beurdouche, Benjamin, Bhargavan, Karthikeyan, Delignat-Lavaud, Antoine, Fournet, Cédric, Kohlweiss, Markulf, Pironti, Alfredo, Strub, Pierre-Yves and Zinzindohoue, Jean Karim), In Communications of the ACM, volume 60, 2017.
Bibtex Entry:
@article{Beurdouche:2017:MSU:3042068.3023357,
 author = {Beurdouche, Benjamin and Bhargavan, Karthikeyan and Delignat-Lavaud, Antoine and Fournet, C{\'e}dric and Kohlweiss, Markulf and Pironti, Alfredo and Strub, Pierre-Yves and Zinzindohoue, Jean Karim},
  title = {A Messy State of the Union: Taming the Composite State Machines of TLS},
   journal = {Communications of the ACM},
     volume = {60},
      number = {2},
        year = {2017},
	  pages = {99--107},
		}
Powered by bibtexbrowser