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.- Sort by
- Weight
- Alphabetically
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 journal › Article › peer-review