| Title | A Messy State of the Union: Taming the Composite State Machines of TLS |
| Publication Type | Conference Paper |
| Authors | Beurdouche, B., K. Bhargavan, A. Delignat-Lavaud, C. Fournet, M. Kohlweiss, A. Pironti, P. - Y. Strub, and J. K. Zinzindohoue |
| Attachment | Size |
|---|---|
| sp15.pdf | 600.15 KB |