Formally Proofed Secure and Private Single Sign-On for the Web | Hacker News Reader