A Comprehensive Formal Security Analysis of OAuth 2.0 | Hacker News Reader