FLEXTLS: a tool for testing TLS implementations
Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS