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

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'A messy state of the union: taming the composite state machines of TLS'. Together they form a unique fingerprint.

Computer Science