14 ms·
https://aws.amazon.com/verified-permissions/ https://aws.amazon.com/verified-permissions/ (AVP) is a team and product which uses the formally verified Cedar lan
by jmccarthy 1y ago
https://aws.amazon.com/verified-permissions/ 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 https://arxiv.org/abs/2403.04651