"A Messy State of the Union: Taming the Composite State Machines of TLS."

Benjamin Beurdouche et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics