FLEXTLS: a tool for testing TLS implementations
Proving the TLS Handshake Secure (As It Is)