A comprehensive formal security analysis of OAuth 2.0 | Hacker News Reader