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 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