A Messy State of the Union: Taming the Composite State Machines of TLS
by Benjamin Beurdouche and
Karthikeyan Bhargavan and
Antoine Delignat-Lavaud and
Cédric Fournet and
Markulf Kohlweiss and
Alfredo Pironti and
Pierre-Yves Strub and
Jean Karim Zinzindohoue