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: Commun. ACM (2017)

Keyphrases