On the (provable) security of TLS: Part 1 | Hacker News Reader