No Need for Black Chambers: Testing TLS in the E-mail Ecosystem at Large
Formal verification of security protocol implementations: a survey