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