https://hackerpaper.kaipfister.de/p/2403.04651/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=43552340urn:hackerpapers:mention:2403.04651:43552340Tue, 01 Apr 2025 23:23:21 GMT<p>https://aws.amazon.com/verified-permissions/ (AVP) is a team and product which uses the formally verified Cedar language. https://arxiv.org/abs/2403.04651</p><p><a href="https://hackerpaper.kaipfister.de/p/2403.04651/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.PLhttps://news.ycombinator.com/item?id=39683831urn:hackerpapers:submission:2403.04651:39683831Tue, 12 Mar 2024 19:29:29 GMT<p>Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization</p><p></p><p>2 points; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2403.04651/">Paper and source history</a>. A submission is not an endorsement.</p>cs.PLhttps://news.ycombinator.com/item?id=39645006urn:hackerpapers:submission:2403.04651:39645006Fri, 08 Mar 2024 19:16:28 GMT<p>Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization</p><p></p><p>2 points; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2403.04651/">Paper and source history</a>. A submission is not an endorsement.</p>cs.PL