A messy state of the union: taming the composite state machines of TLS
The Transport Layer Security (TLS) Protocol Version 1.2