Proving the TLS Handshake Secure (As It Is)
Rethinking SSL development in an appified world