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

Published in: IEEE Symposium on Security and Privacy (2015)

Keyphrases