A widely used crypto protocol, which may have been implemented weakly. What do you think?