https://hackerpaper.kaipfister.de/p/1601.01229/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=43191612urn:hackerpapers:submission:1601.01229:43191612Thu, 27 Feb 2025 05:25:44 GMT<p>A Comprehensive Formal Security Analysis of OAuth 2.0</p><p></p><p>49 points; 12 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/1601.01229/">Paper and source history</a>. A submission is not an endorsement.</p>cs.CRhttps://news.ycombinator.com/item?id=25157431urn:hackerpapers:submission:1601.01229:25157431Fri, 20 Nov 2020 04:57:51 GMT<p>A Comprehensive Formal Security Analysis of OAuth 2.0 (2016)</p><p></p><p>1 point; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/1601.01229/">Paper and source history</a>. A submission is not an endorsement.</p>cs.CRhttps://news.ycombinator.com/item?id=12489345urn:hackerpapers:submission:1601.01229:12489345Tue, 13 Sep 2016 15:49:16 GMT<p>A Comprehensive Formal Security Analysis of OAuth 2.0</p><p></p><p>2 points; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/1601.01229/">Paper and source history</a>. A submission is not an endorsement.</p>cs.CRhttps://news.ycombinator.com/item?id=10908716urn:hackerpapers:submission:1601.01229:10908716Fri, 15 Jan 2016 12:01:43 GMT<p>A Comprehensive Formal Security Analysis of OAuth 2.0 [pdf]</p><p></p><p>2 points; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/1601.01229/">Paper and source history</a>. A submission is not an endorsement.</p>cs.CR