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